From 50aae133783b4ea5f429f73687dc8741d6b6b8cc Mon Sep 17 00:00:00 2001
From: John Clements <clements@racket-lang.org>
Date: Thu, 10 Apr 2014 16:01:30 -0700
Subject: [PATCH] fix stepper-skipto annotation for test expansion

---
 pkgs/htdp-pkgs/htdp-lib/test-engine/racket-tests.rkt | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/pkgs/htdp-pkgs/htdp-lib/test-engine/racket-tests.rkt b/pkgs/htdp-pkgs/htdp-lib/test-engine/racket-tests.rkt
index 94b056d831..d50372aa4b 100644
--- a/pkgs/htdp-pkgs/htdp-lib/test-engine/racket-tests.rkt
+++ b/pkgs/htdp-pkgs/htdp-lib/test-engine/racket-tests.rkt
@@ -97,7 +97,8 @@
                                             ['stepper-hide-reduction #t])
                                            #'test-engine))))))))
              'stepper-skipto
-             (append skipto/third ;; let
+             (append skipto/third ;; first let* binding
+                     skipto/third ;; second let* binding
                      skipto/third skipto/second
                      ;; something funny going on here; I can't see how Mike's 
                      ;; fix could ever have worked.  Possibly related: this