From a72b8d8a059cec6d57493f0ca2ea0ccaf198b996 Mon Sep 17 00:00:00 2001
From: John Clements <clements@racket-lang.org>
Date: Sat, 17 May 2014 23:12:09 -0700
Subject: [PATCH] fix minor stepper damage caused by a9f46ade9ea16eba7507

---
 pkgs/htdp-pkgs/htdp-lib/lang/private/teachhelp.rkt | 6 +-----
 1 file changed, 1 insertion(+), 5 deletions(-)

diff --git a/pkgs/htdp-pkgs/htdp-lib/lang/private/teachhelp.rkt b/pkgs/htdp-pkgs/htdp-lib/lang/private/teachhelp.rkt
index ede0d44680..e8cc15728b 100644
--- 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