diff options
Diffstat (limited to 'src/InterpreterBorrows.ml')
| -rw-r--r-- | src/InterpreterBorrows.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/InterpreterBorrows.ml b/src/InterpreterBorrows.ml index 034d566a..6f469044 100644 --- a/src/InterpreterBorrows.ml +++ b/src/InterpreterBorrows.ml @@ -458,7 +458,7 @@ let give_back_symbolic_value (_config : C.config) * meaning the given back value can't have borrows below mutable * borrows. *) let has_borrow_below_mut = - ty_has_borrow_below_mut ctx.type_context.type_infos nsv.sv_ty + ty_has_borrow_under_mut ctx.type_context.type_infos nsv.sv_ty in assert (not has_borrow_below_mut); (* We don't allow overwrites: we must thus not project over the |