fix stepper-skipto annotation for test expansion

2014-04-10 16:01:30 -07:00 · 2014-04-10 16:01:30 -07:00 · 50aae13378
commit 50aae13378
parent 9c74269877
1 changed files with 2 additions and 1 deletions
--- 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