From 6f1aa7bc00db82b64a0e07f79b0f144966eb55e9 Mon Sep 17 00:00:00 2001
From: Matthew Flatt <mflatt@racket-lang.org>
Date: Tue, 3 May 2011 08:53:49 -0600
Subject: [PATCH] adjust Redex example after bytecode-structure change

---
 collects/redex/examples/racket-machine/model-impl.rkt | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/collects/redex/examples/racket-machine/model-impl.rkt b/collects/redex/examples/racket-machine/model-impl.rkt
index 0c74b52be2..6eb384b954 100644
--- a/collects/redex/examples/racket-machine/model-impl.rkt
+++ b/collects/redex/examples/racket-machine/model-impl.rkt
@@ -63,7 +63,7 @@
         `(branch ,(recur c) ,(recur t) ,(recur e))]
        [(let-rec rs b)
         `(let-rec ,(map recur rs) ,(recur b))]
-       [(lam _ _ _ τs #f ns `(val/ref ...) _ b)
+       [(lam _ _ _ τs #f ns `(val/ref ...) _ _ b)
         `(lam ,τs ,(vector->list ns) ,(recur b))]
        [(closure l _)
         (define (model-rep)
@@ -122,7 +122,7 @@
               [(let-rec rs b)
                (for-each recur rs) 
                (recur b)]
-              [(lam _ _ _ _ _ _ _ _ b)
+              [(lam _ _ _ _ _ _ _ _ _ b)
                (recur b)]
               [(closure l _)
                (recur l)]