diff options
author | Son Ho | 2021-11-24 00:00:03 +0100 |
---|---|---|
committer | Son Ho | 2021-11-24 00:00:53 +0100 |
commit | 15613ea2e2e8f9d5b9f09c850546ef88e5ae9acd (patch) | |
tree | abdf54480cc2e7b3da306454f710243506c13f70 /src/Contexts.ml | |
parent | 5681f27485f39f12b1d0e7ee6ea09329b7bdfacd (diff) |
Update activate_inactivated_mut_borrow
Diffstat (limited to '')
-rw-r--r-- | src/Contexts.ml | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/Contexts.ml b/src/Contexts.ml index 6d6766b4..77dd9c49 100644 --- a/src/Contexts.ml +++ b/src/Contexts.ml @@ -14,8 +14,6 @@ type interpreter_mode = ConcreteMode | SymbolicMode type config = { mode : interpreter_mode; check_invariants : bool } -type outer_borrows = Borrows of BorrowId.Set.t | Borrow of BorrowId.id - type stack_frame = { vars : VarId.id list } (** A function frame |