diff options
Diffstat (limited to 'compiler/Print.ml')
| -rw-r--r-- | compiler/Print.ml | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/compiler/Print.ml b/compiler/Print.ml index 2b2f98f0..6c0c95ad 100644 --- a/compiler/Print.ml +++ b/compiler/Print.ml @@ -248,8 +248,10 @@ module Values = struct ^ ", " ^ typed_avalue_to_string fmt av ^ ")" - | AIgnoredMutLoan (bid, av) -> - "@ignored_mut_loan(" ^ V.BorrowId.to_string bid ^ ", " + | AIgnoredMutLoan (opt_bid, av) -> + "@ignored_mut_loan(" + ^ option_to_string V.BorrowId.to_string opt_bid + ^ ", " ^ typed_avalue_to_string fmt av ^ ")" | AEndedIgnoredMutLoan ml -> |