From 84359fc2fdc1921cd7b08b4f8d105f1aafca7478 Mon Sep 17 00:00:00 2001
From: "William J. Bowman" <wjb@williamjbowman.com>
Date: Fri, 25 Sep 2015 19:33:12 -0400
Subject: [PATCH] This is related to previous commit

---
 stdlib/maybe.rkt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/stdlib/maybe.rkt b/stdlib/maybe.rkt
index 9c837a9..d598f46 100644
--- a/stdlib/maybe.rkt
+++ b/stdlib/maybe.rkt
@@ -8,7 +8,7 @@
 
 (module+ test
   (require rackunit "bool.rkt")
-  #;(check-equal?
+  (check-equal?
     (case* Maybe Type (some Bool true) (Bool)
       (lambda* (A : Type) (x : (Maybe A)) A)
       [(none (A : Type)) IH: ()