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

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