From 9510b73e17a9dd57a2e702e0d88df32fc5a27c73 Mon Sep 17 00:00:00 2001 From: Harold Carr Date: Mon, 3 Jul 2017 20:55:27 -0700 Subject: [PATCH] change eb1 expected test results to #true --- redex-doc/redex/scribblings/long-tut/mon-aft.scrbl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/redex-doc/redex/scribblings/long-tut/mon-aft.scrbl b/redex-doc/redex/scribblings/long-tut/mon-aft.scrbl index 45e0f2b5..b00fcc38 100644 --- a/redex-doc/redex/scribblings/long-tut/mon-aft.scrbl +++ b/redex-doc/redex/scribblings/long-tut/mon-aft.scrbl @@ -88,7 +88,7 @@ Now you can formulate language tests: (define eb1 (term (lambda (x x) y))) (define eb2 (term (lambda (x y) 3))) -(test-equal (lambda? eb1) #false) +(test-equal (lambda? eb1) #true) (test-equal (lambda? eb2) #false) (test-results)