diff --git a/collects/2htdp/test/world0-stops.ss b/collects/2htdp/test/world0-stops.ss index a50c191bf2..60857b8753 100644 --- a/collects/2htdp/test/world0-stops.ss +++ b/collects/2htdp/test/world0-stops.ss @@ -2,4 +2,4 @@ ;; about the language level of this file in a form that our tools can easily process. #reader(lib "htdp-intermediate-lambda-reader.ss" "lang")((modname world0-stops) (read-case-sensitive #t) (teachpacks ((lib "universe.ss" "teachpack" "2htdp"))) (htdp-settings #(#t constructor repeating-decimal #f #t none #f ((lib "universe.ss" "teachpack" "2htdp"))))) -(big-bang 0 (stop-when zero?) (on-tick add1)) \ No newline at end of file +(big-bang 0 (stop-when zero?) (on-tick add1)) diff --git a/collects/teachpack/door.ss b/collects/teachpack/door.ss index 6fd029e6a5..07be843f29 100644 --- a/collects/teachpack/door.ss +++ b/collects/teachpack/door.ss @@ -56,4 +56,4 @@ l4) (fsa "locked" "closed" "open" "unlock" "lock" "push" "time") -(fsa "'locked" "'closed" "'open" "#\\u" "#\\l" "#\\space" "tick") \ No newline at end of file +(fsa "'locked" "'closed" "'open" "#\\u" "#\\l" "#\\space" "tick")