fix minor stepper damage caused by a9f46ade9e

2014-05-17 23:12:09 -07:00 · 2014-05-17 23:12:09 -07:00 · a72b8d8a05
commit a72b8d8a05
parent d057419abe
1 changed files with 1 additions and 5 deletions
--- a/pkgs/htdp-pkgs/htdp-lib/lang/private/teachhelp.rkt
+++ b/pkgs/htdp-pkgs/htdp-lib/lang/private/teachhelp.rkt
@ -22,11 +22,7 @@
             stx
             stx)]
 	   [id
-            (stepper-syntax-property
-             tmp-id
-             'stepper-skipto
-             (append skipto/cdr
-                     skipto/third))]))))
+            tmp-id]))))
 #;    
  (define (appropriate-use what)
    (case what