whoops

[lambda.git] / code / untyped_evaluator.ml

diff --git a/code/untyped_evaluator.ml b/code/untyped_evaluator.ml
index 7af3eb4..cf2a1b4 100644 (file)
--- 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 ^ "`"))