diff options
Diffstat (limited to '')
| -rw-r--r-- | src/Invariants.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Invariants.ml b/src/Invariants.ml index a36cae03..c0203c7a 100644 --- a/src/Invariants.ml +++ b/src/Invariants.ml @@ -171,7 +171,7 @@ let check_loans_borrows_relation_invariant (ctx : C.eval_ctx) : unit = object inherit [_] C.iter_eval_ctx as super - method! visit_abstract_shared_borrows env asb = + method! visit_abstract_shared_borrows _ asb = let visit asb = match asb with | V.AsbBorrow bid -> register_borrow Shared bid |