eliminated bug introduced with latest revision

please add to 6.1.1.
2014-10-20 15:31:45 -04:00 · 2014-10-20 15:31:45 -04:00 · 538bb75d64
commit 538bb75d64
parent 5eb21343b6
1 changed files with 1 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
@ -208,7 +208,7 @@
   ;; check
   (lambda (p? v _what-is-this?) (p? v))
   ;; maker
-   (lambda (src format v1 v2 _) (make-satisfied-failed src format v2 property?))
+   (lambda (src format v1 _v2 _) (make-satisfied-failed src format v1 property?))
   ;; test 
   test
   ;; expect