diff options
Diffstat (limited to 'compiler/Print.ml')
| -rw-r--r-- | compiler/Print.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/compiler/Print.ml b/compiler/Print.ml index 53bba8c7..2b2f98f0 100644 --- a/compiler/Print.ml +++ b/compiler/Print.ml @@ -127,8 +127,8 @@ module Values = struct "&mut@" ^ V.BorrowId.to_string bid ^ " (" ^ typed_value_to_string fmt tv ^ ")" - | InactivatedMutBorrow (_, bid) -> - "⌊inactivated_mut@" ^ V.BorrowId.to_string bid ^ "⌋" + | ReservedMutBorrow (_, bid) -> + "⌊reserved_mut@" ^ V.BorrowId.to_string bid ^ "⌋" and loan_content_to_string (fmt : value_formatter) (lc : V.loan_content) : string = |