diff options
| author | Son Ho | 2022-01-04 19:52:48 +0100 |
|---|---|---|
| committer | Son Ho | 2022-01-04 19:52:48 +0100 |
| commit | d4b455b19357c9e9851901f237538c643eae3c8e (patch) | |
| tree | b2fd91abe04a66e8dee27aaf94c185c1ccafce20 /src/Invariants.ml | |
| parent | 0782c2911f330e341a265b124868c747b93206e6 (diff) | |
Make minor modifications
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 |