From: Jim <jim.pryor@nyu.edu>
Date: Fri, 20 Mar 2015 23:41:25 +0000 (-0400)
Subject: whoops
X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=commitdiff_plain;h=e62e212f2cbd9d7a3468d5531a15fa1023ec14a6;hp=8759c7a477a01c026739a584f7f009f3a25fb54d;ds=sidebyside

whoops
---

diff --git a/code/untyped_evaluator.ml b/code/untyped_evaluator.ml
index 7af3eb43..cf2a1b41 100644
--- a/code/untyped_evaluator.ml
+++ b/code/untyped_evaluator.ml
@@ -248,7 +248,7 @@ module V2 = struct
     | Var var ->
         (match lookup var env with
         (* Free variables will never be pushed to the env, so we can be
-	   sure this is a result. *) CHECK
+	   sure this is a result. *)
         | Some res -> res
         | None -> failwith ("Unbound variable `" ^ var ^ "`"))
 
diff --git a/code/untyped_evaluator_complete.ml b/code/untyped_evaluator_complete.ml
index 90862058..8408c2b7 100644
--- a/code/untyped_evaluator_complete.ml
+++ b/code/untyped_evaluator_complete.ml
@@ -248,7 +248,7 @@ module V2 = struct
     | Var var ->
         (match lookup var env with
         (* Free variables will never be pushed to the env, so we can be
-	   sure this is a result. *) CHECK
+	   sure this is a result. *)
         | Some res -> res
         | None -> failwith ("Unbound variable `" ^ var ^ "`"))