diff options
| author | Alasdair Armstrong | 2018-12-13 23:19:57 +0000 |
|---|---|---|
| committer | Alasdair Armstrong | 2018-12-13 23:19:57 +0000 |
| commit | 2d17ea6097cdf6a948b0313cb02ddf7ceb0b1d1f (patch) | |
| tree | 17a19ea2e5c5375055604f0ad64df569613f12f1 /src | |
| parent | cbd4eedf0d278572e70b04d9e9ef8750c4cae0a4 (diff) | |
Fix typo in boolean constraint desugaring
Diffstat (limited to 'src')
| -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)) |