X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=code%2Funtyped_evaluator.ml;h=cf2a1b415f3dc1a822588c756af6acd98d0ba80d;hp=7af3eb43424db407a1bf24720841dbe67378efc1;hb=e62e212f2cbd9d7a3468d5531a15fa1023ec14a6;hpb=8759c7a477a01c026739a584f7f009f3a25fb54d;ds=sidebyside

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 ^ "`"))