Fixes a bug in the deref rule

2011-03-29 16:05:54 -05:00 · 2011-03-29 16:05:54 -05:00 · 0839f763ec
commit 0839f763ec
parent 8f006f1a1f
1 changed files with 6 additions and 6 deletions
--- a/collects/redex/examples/threads.rkt
+++ b/collects/redex/examples/threads.rkt
@ -26,14 +26,14 @@
        sum)
   
   (--> ((store
-             (name befores (x v)) ...
-           (x_i v_i)
-           (name afters (x v)) ...)
+          (name befores (x_0 v_0)) ...
+          (x_i v_i)
+          (name afters (x_i+1 v_i+1)) ...)
         (in-hole tc_1 x_i))
        ((store 
-             befores ... 
-           (x_i v_i)
-           afters ...)
+          befores ... 
+          (x_i v_i)
+          afters ...)
         (in-hole tc_1 v_i))
        deref)