diff options
| author | Son Ho | 2024-01-25 11:52:54 +0100 |
|---|---|---|
| committer | Son Ho | 2024-01-25 11:52:54 +0100 |
| commit | da9a2fb410bde569fea11a4c1507f98ab4250e41 (patch) | |
| tree | 742a5784c7a4c05308392236e374404ce7b1ebf4 /compiler/InterpreterLoopsMatchCtxs.ml | |
| parent | 5851f26eda59997fca971fa67bc9b6062f398871 (diff) | |
Make a minor modification
Diffstat (limited to 'compiler/InterpreterLoopsMatchCtxs.ml')
| -rw-r--r-- | compiler/InterpreterLoopsMatchCtxs.ml | 4 |
1 files 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) : |