diff options
| author | Alasdair Armstrong | 2017-12-07 19:11:09 +0000 |
|---|---|---|
| committer | Alasdair Armstrong | 2017-12-07 19:11:09 +0000 |
| commit | 13b74fe751508f214bfa5bde59553e25b01aa270 (patch) | |
| tree | 8f3d10ad5709c70a443f70f1622e63ad218c0a21 /src | |
| parent | a3d355144d9e5f3dd68376ec77f93ed756a03820 (diff) | |
Fix boolean literal constraints
Diffstat (limited to 'src')
| -rw-r--r-- | src/type_check.ml | 2 |
1 files changed, 1 insertions, 1 deletions
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" -> |