From 253641a03ea8b939c2c3318a41ce676d1ffe9ebe Mon Sep 17 00:00:00 2001
From: Casey Klein <clklein@racket-lang.org>
Date: Fri, 16 Jul 2010 09:48:12 -0500
Subject: [PATCH] Fixes minor bug affecting check-reduction-relation

---
 collects/redex/private/rg.rkt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/collects/redex/private/rg.rkt b/collects/redex/private/rg.rkt
index 3ad9dcc37c..5f29731105 100644
--- 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