diff --git a/collects/redex/private/reduction-semantics.ss b/collects/redex/private/reduction-semantics.ss index 49610d1d13..7fdb50eb2c 100644 --- a/collects/redex/private/reduction-semantics.ss +++ b/collects/redex/private/reduction-semantics.ss @@ -1843,6 +1843,8 @@ (values (apply-reduction-relation red arg) #f)) (define (test-->>/procs red arg expected apply-red cycles-ok? srcinfo) + (unless (reduction-relation? red) + (error 'test--> "expected a reduction relation as first argument, got ~e" red)) (let-values ([(got got-cycle?) (apply-red red arg)]) (inc-tests)