diff options
author | Son Ho | 2022-12-02 08:59:41 +0100 |
---|---|---|
committer | Son HO | 2023-02-03 11:21:46 +0100 |
commit | 175949360a0208d826be89463c916fbaaa7fa8a4 (patch) | |
tree | c650b9c2340115522cbea55cebb015e2110e92c4 /compiler/InterpreterBorrows.mli | |
parent | b2a494f8fc3acdf1cfab7b4d6d10b1bd316663f8 (diff) |
Remove the meta-value field from AMutBorrow
Diffstat (limited to '')
-rw-r--r-- | compiler/InterpreterBorrows.mli | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/compiler/InterpreterBorrows.mli b/compiler/InterpreterBorrows.mli index 51c6c592..6a8fb87c 100644 --- a/compiler/InterpreterBorrows.mli +++ b/compiler/InterpreterBorrows.mli @@ -142,19 +142,15 @@ type merge_duplicates_funcs = { merge_amut_borrows : V.borrow_id -> T.rty -> - V.mvalue -> V.typed_avalue -> T.rty -> - V.mvalue -> V.typed_avalue -> V.typed_avalue; (** Parameters: - [id] - [ty0] - - [mv0] - [child0] - [ty1] - - [mv1] - [child1] The children should be [AIgnored]. |