summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--src/Invariants.ml2
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