From 0839f763ec96422b16d101d80bbc0a25b24e7ac2 Mon Sep 17 00:00:00 2001 From: Casey Klein Date: Tue, 29 Mar 2011 16:05:54 -0500 Subject: [PATCH] Fixes a bug in the deref rule --- collects/redex/examples/threads.rkt | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/collects/redex/examples/threads.rkt b/collects/redex/examples/threads.rkt index 5c0230830c..494390d002 100644 --- 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)