fix minor stepper damage caused by a9f46ad

jbclements · jbclements · commit a72b8d8a059c · 2014-05-18T00:20:22.000-07:00
diff --git 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
