improved syntax check for check-satisfied

2014-07-31 11:44:40 -04:00 · 2014-07-31 11:44:40 -04:00 · 8a0cdb83de
commit 8a0cdb83de
parent e430753b6c
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
@ -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))