Fixes a bug in the VM example

2010-06-21 14:40:48 -05:00 · 2010-06-21 14:40:48 -05:00 · 3eb9a6d6d0
commit 3eb9a6d6d0
parent e191513f70
1 changed files with 1 additions and 1 deletions
--- a/collects/redex/examples/racket-machine/reduction.rkt
+++ b/collects/redex/examples/racket-machine/reduction.rkt
@ -326,7 +326,7 @@
   ((install-value n e_r* e_b*)
    (concat H_r H_b)
    (concat T_r T_b)
-    (y_* ...))
+    (y_** ...))
   (where (e_r* H_r T_r (y_* ...)) (load’ e_r - (y ...)))
   (where (e_b* H_b T_b (y_** ...)) (load’ e_b φ (y_* ...)))]
  [(load’ (install-value-box n e_r e_b) φ (y ...))