diff options
Diffstat (limited to 'compiler/Print.ml')
| -rw-r--r-- | compiler/Print.ml | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/compiler/Print.ml b/compiler/Print.ml index 393f80c2..a4a8b1d4 100644 --- a/compiler/Print.ml +++ b/compiler/Print.ml @@ -277,12 +277,11 @@ module Values = struct ^ ")" | AEndedMutBorrow (_mv, child) -> "@ended_mut_borrow(" ^ typed_avalue_to_string fmt child ^ ")" - | AEndedIgnoredMutBorrow - { child; given_back_loans_proj; given_back_meta = _ } -> + | AEndedIgnoredMutBorrow { child; given_back; given_back_meta = _ } -> "@ended_ignored_mut_borrow{ " ^ typed_avalue_to_string fmt child ^ "; " - ^ typed_avalue_to_string fmt given_back_loans_proj + ^ typed_avalue_to_string fmt given_back ^ ")" | AEndedSharedBorrow -> "@ended_shared_borrow" | AProjSharedBorrow sb -> |