From 8a0cdb83de3b2cac5ae3740b0d8761e67c802538 Mon Sep 17 00:00:00 2001 From: Matthias Felleisen Date: Thu, 31 Jul 2014 11:44:40 -0400 Subject: [PATCH] improved syntax check for check-satisfied --- 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 b2956dfc36..6ef532f7ca 100644 --- a/pkgs/htdp-pkgs/htdp-lib/test-engine/racket-tests.rkt +++ b/pkgs/htdp-pkgs/htdp-lib/test-engine/racket-tests.rkt @@ -188,7 +188,7 @@ (define-syntax (check-satisfied stx) (syntax-case stx () [(_ actual:exp expected-property:exp) - (symbol? (syntax-e #'expected-property:exp)) + (identifier? #'expected-property:exp) (check-expect-maker stx #'check-values-property #'(lambda (x) (expected-property:exp x))