diff options
| -rw-r--r-- | src/interpreter.ml | 4 |
1 files 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))) |