From 175949360a0208d826be89463c916fbaaa7fa8a4 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Fri, 2 Dec 2022 08:59:41 +0100
Subject: Remove the meta-value field from AMutBorrow

---
 compiler/InterpreterBorrows.mli | 4 ----
 1 file changed, 4 deletions(-)

(limited to 'compiler/InterpreterBorrows.mli')

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