whoops

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
     | 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 ^ "`"))
 
         | Some res -> res
         | None -> failwith ("Unbound variable `" ^ var ^ "`"))
 

diff --git a/code/untyped_evaluator_complete.ml b/code/untyped_evaluator_complete.ml
index 9086205..8408c2b 100644 (file)
--- 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
     | 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 ^ "`"))
 
         | Some res -> res
         | None -> failwith ("Unbound variable `" ^ var ^ "`"))