fix the error check

closes PR 12290
2011-10-15 13:59:26 -05:00 · 2011-10-15 13:59:26 -05:00 · 9ab6a93127
commit 9ab6a93127
parent d4f7020cd2
1 changed files with 1 additions and 1 deletions
--- a/collects/redex/private/reduction-semantics.rkt
+++ b/collects/redex/private/reduction-semantics.rkt
@ -1757,7 +1757,7 @@
       (for-each 
        (λ (x)
          (syntax-case x ()
-            [(stuff ...) (void)]
+            [(stuff stuff2 ...) (void)]
            [x (raise-syntax-error syn-error-name "expected a clause" stx #'x)]))
        (syntax->list #'(x ...)))
       (raise-syntax-error syn-error-name "error checking failed.2" stx))]))