From d4b455b19357c9e9851901f237538c643eae3c8e Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Tue, 4 Jan 2022 19:52:48 +0100
Subject: Make minor modifications

---
 src/Invariants.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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
-- 
cgit v1.2.3