From 8e69aa6ac2b111ac42b1a681748a16efd468cb52 Mon Sep 17 00:00:00 2001
From: Casey Klein <clklein@racket-lang.org>
Date: Wed, 17 Nov 2010 10:58:48 -0600
Subject: [PATCH] Fixes minor bugs in two core reduction rules

---
 collects/redex/examples/delim-cont/reduce.rkt | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/collects/redex/examples/delim-cont/reduce.rkt b/collects/redex/examples/delim-cont/reduce.rkt
index 90873e0b53..ad5cf95f45 100644
--- a/collects/redex/examples/delim-cont/reduce.rkt
+++ b/collects/redex/examples/delim-cont/reduce.rkt
@@ -12,7 +12,7 @@
    grammar
    
    ;; beta
-   (~~> ((λ (x_1 ...) e_1) v_1 ...)
+   (~~> ((λ (x_1 ..._1) e_1) v_1 ..._1)
         (subst* (x_1 ...) (v_1 ...) e_1)
         "beta")
    
@@ -25,7 +25,7 @@
         "zero?")
    (~~> (zero? v_1)
         #f
-        (side-condition (not (zero? (term v_1))))
+        (side-condition (not (equal? 0 (term v_1))))
         "non-zero")
    
    ;; lists