diff options
Diffstat (limited to '')
| -rw-r--r-- | src/InterpreterPaths.ml | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/src/InterpreterPaths.ml b/src/InterpreterPaths.ml index c0d1c528..431a2076 100644 --- a/src/InterpreterPaths.ml +++ b/src/InterpreterPaths.ml @@ -182,10 +182,12 @@ let rec access_projection (access : projection_access) (ctx : C.eval_ctx) | ( _, Abstract ( V.AMutLoan (_, _) - | V.AEndedMutLoan { given_back = _; child = _ } + | V.AEndedMutLoan + { given_back = _; child = _; given_back_meta = _ } | V.AEndedSharedLoan (_, _) | V.AIgnoredMutLoan (_, _) - | V.AEndedIgnoredMutLoan { given_back = _; child = _ } + | V.AEndedIgnoredMutLoan + { given_back = _; child = _; given_back_meta = _ } | V.AIgnoredSharedLoan _ ) ) -> failwith "Expected a shared (abstraction) loan" | _, Abstract (V.ASharedLoan (bids, sv, _av)) -> ( |