X-Git-Url: http://lambda.jimpryor.net/git/gitweb.cgi?p=lambda.git;a=blobdiff_plain;f=code%2Funtyped_evaluator_complete.ml;h=8408c2b761d6ae870f98cf60d7e1ea3b9d6ac430;hp=908620583edd15f20936273613affe4600a7b29e;hb=e62e212f2cbd9d7a3468d5531a15fa1023ec14a6;hpb=45bfd0c44c531bd94e00b5a11285691c48062157

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