From 538bb75d646b42acbdf98a762687419707f4f5dc Mon Sep 17 00:00:00 2001 From: Matthias Felleisen Date: Mon, 20 Oct 2014 15:31:45 -0400 Subject: [PATCH] eliminated bug introduced with latest revision please add to 6.1.1. --- pkgs/htdp-pkgs/htdp-lib/test-engine/racket-tests.rkt | 2 +- 1 file changed, 1 insertion(+), 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 ee94a26a65..2ad2cfa45c 100644 --- 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