diff options
Diffstat (limited to '')
| -rw-r--r-- | compiler/Invariants.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/compiler/Invariants.ml b/compiler/Invariants.ml index a8077ab7..50f008b8 100644 --- a/compiler/Invariants.ml +++ b/compiler/Invariants.ml @@ -105,8 +105,8 @@ let check_loans_borrows_relation_invariant (meta : Meta.meta) (ctx : eval_ctx) : let reprs = !ids_reprs in let infos = !borrows_infos in (* Sanity checks *) - cassert (not (BorrowId.Map.mem bid reprs)) meta "TODO: Error message"; - cassert (not (BorrowId.Map.mem bid infos)) meta "TODO: Error message"; + sanity_check (not (BorrowId.Map.mem bid reprs)) meta; + sanity_check (not (BorrowId.Map.mem bid infos)) meta; (* Add the mapping for the representant *) let reprs = BorrowId.Map.add bid bid reprs in (* Add the mapping for the loan info *) |