From 985a9582a0e780d1ffbe4722653927a3bb860403 Mon Sep 17 00:00:00 2001
From: Jon French
Date: Wed, 13 Mar 2019 17:04:47 +0000
Subject: fix is_true/is_false use of == for web-interface new-interpreter

---
 src/interpreter.ml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/interpreter.ml b/src/interpreter.ml
index b9cc9191..cad9cc00 100644
--- a/src/interpreter.ml
+++ b/src/interpreter.ml
@@ -103,11 +103,11 @@ let is_value = function
   | _ -> false
 
 let is_true = function
-  | (E_aux (E_internal_value (V_bool b), _)) -> b == true
+  | (E_aux (E_internal_value (V_bool b), annot)) -> b
   | _ -> false
 
 let is_false = function
-  | (E_aux (E_internal_value (V_bool b), _)) -> b == false
+  | (E_aux (E_internal_value (V_bool b), _)) -> not b
   | _ -> false
 
 let exp_of_value v = (E_aux (E_internal_value v, (Parse_ast.Unknown, Type_check.empty_tannot)))
-- 
cgit v1.2.3