From 13b74fe751508f214bfa5bde59553e25b01aa270 Mon Sep 17 00:00:00 2001
From: Alasdair Armstrong
Date: Thu, 7 Dec 2017 19:11:09 +0000
Subject: Fix boolean literal constraints

---
 src/type_check.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src')

diff --git a/src/type_check.ml b/src/type_check.ml
index c29ba9c8..d91a46cd 100644
--- a/src/type_check.ml
+++ b/src/type_check.ml
@@ -1813,7 +1813,7 @@ let rec assert_constraint env (E_aux (exp_aux, _) as exp) =
   | E_constraint nc ->
      Some nc
   | E_lit (L_aux (L_true, _)) -> Some nc_true
-  | E_lit (L_aux (L_false, _)) -> Some nc_true
+  | E_lit (L_aux (L_false, _)) -> Some nc_false
   | E_app (op, [x; y]) when string_of_id op = "or_bool" ->
      option_binop nc_or (assert_constraint env x) (assert_constraint env y)
   | E_app (op, [x; y]) when string_of_id op = "and_bool" ->
-- 
cgit v1.2.3