From e62e212f2cbd9d7a3468d5531a15fa1023ec14a6 Mon Sep 17 00:00:00 2001 From: Jim Date: Fri, 20 Mar 2015 19:41:25 -0400 Subject: [PATCH 1/1] whoops --- code/untyped_evaluator.ml | 2 +- code/untyped_evaluator_complete.ml | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) 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 ^ "`")) 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 ^ "`")) -- 2.11.0