From 2d17ea6097cdf6a948b0313cb02ddf7ceb0b1d1f Mon Sep 17 00:00:00 2001
From: Alasdair Armstrong
Date: Thu, 13 Dec 2018 23:19:57 +0000
Subject: Fix typo in boolean constraint desugaring

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

diff --git a/src/initial_check.ml b/src/initial_check.ml
index 8730d909..17b4b515 100644
--- a/src/initial_check.ml
+++ b/src/initial_check.ml
@@ -213,7 +213,7 @@ and to_ast_constraint ctx (P.ATyp_aux (aux, l) as atyp) =
     | P.ATyp_app (Id_aux (DeIid op, _) as id, [t1; t2]) ->
        begin match op with
        | "==" -> NC_equal (to_ast_nexp ctx t1, to_ast_nexp ctx t2)
-       | "!=" -> NC_equal (to_ast_nexp ctx t1, to_ast_nexp ctx t2)
+       | "!=" -> NC_not_equal (to_ast_nexp ctx t1, to_ast_nexp ctx t2)
        | ">=" -> NC_bounded_ge (to_ast_nexp ctx t1, to_ast_nexp ctx t2)
        | "<=" -> NC_bounded_le (to_ast_nexp ctx t1, to_ast_nexp ctx t2)
        | ">" -> NC_bounded_ge (to_ast_nexp ctx t1, nsum (to_ast_nexp ctx t2) (nint 1))
-- 
cgit v1.2.3