From da9a2fb410bde569fea11a4c1507f98ab4250e41 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Thu, 25 Jan 2024 11:52:54 +0100
Subject: Make a minor modification

---
 compiler/InterpreterLoopsMatchCtxs.ml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/compiler/InterpreterLoopsMatchCtxs.ml b/compiler/InterpreterLoopsMatchCtxs.ml
index 0af002a2..4624a1e9 100644
--- a/compiler/InterpreterLoopsMatchCtxs.ml
+++ b/compiler/InterpreterLoopsMatchCtxs.ml
@@ -824,10 +824,10 @@ module MakeMoveMatcher (S : MatchMoveState) : PrimMatcher = struct
     bid1
 
   let match_mut_borrows (_ : eval_ctx) (_ : eval_ctx) (_ : ety) (_ : borrow_id)
-      (_ : typed_value) (bid1 : borrow_id) (_ : typed_value) (bv : typed_value)
+      (_ : typed_value) (bid1 : borrow_id) (bv1 : typed_value) (_ : typed_value)
       : borrow_id * typed_value =
     (* There can't be bottoms in borrowed values *)
-    (bid1, bv)
+    (bid1, bv1)
 
   let match_shared_loans (_ : eval_ctx) (_ : eval_ctx) (_ : ety)
       (_ : loan_id_set) (ids1 : loan_id_set) (sv : typed_value) :
-- 
cgit v1.2.3