diff options
Diffstat (limited to 'src/initial_check.ml')
| -rw-r--r-- | src/initial_check.ml | 2 |
1 files changed, 1 insertions, 1 deletions
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)) |