From 644deddc5fc7d40ea0700216bce9af5ef7922a93 Mon Sep 17 00:00:00 2001
From: AlexKnauth <alexander@knauth.org>
Date: Tue, 28 Jun 2016 13:22:38 -0400
Subject: [PATCH] fix lam-testing.rkt

---
 macrotypes/examples/lam-testing.rkt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/macrotypes/examples/lam-testing.rkt b/macrotypes/examples/lam-testing.rkt
index a1c3eda..4606f57 100644
--- a/macrotypes/examples/lam-testing.rkt
+++ b/macrotypes/examples/lam-testing.rkt
@@ -8,7 +8,7 @@
   (syntax-parse stx
     [(_ (x y) e)
      #:with
-     (lam xs (lr bs1 vs1 (lr2 bs2 vs2 e+)))
+     (lam xs (lr vs1 (lr2 vs2 e+)))
      (local-expand
       #'(λ (x y)
           (let-syntax