Fixes minor bug affecting check-reduction-relation

2010-07-16 09:48:12 -05:00 · 2010-07-16 09:48:12 -05:00 · 253641a03e
commit 253641a03e
parent ce03a34318
1 changed files with 1 additions and 1 deletions
--- a/collects/redex/private/rg.rkt
+++ b/collects/redex/private/rg.rkt
@ -656,7 +656,7 @@
 (define (assert-rel name x)
  (if (reduction-relation? x)
      x
-      (raise-type-error 'redex-check "reduction-relation" x)))
+      (raise-type-error name "reduction-relation" x)))

 (define-for-syntax (term-generator lang pat what)
  (with-syntax ([pattern