diff options
Diffstat (limited to 'compiler/Print.ml')
-rw-r--r-- | compiler/Print.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/Print.ml b/compiler/Print.ml index 88d33bce..393f80c2 100644 --- a/compiler/Print.ml +++ b/compiler/Print.ml @@ -264,7 +264,7 @@ module Values = struct and aborrow_content_to_string (fmt : value_formatter) (bc : V.aborrow_content) : string = match bc with - | AMutBorrow (_, bid, av) -> + | AMutBorrow (bid, av) -> "&mut@" ^ V.BorrowId.to_string bid ^ " (" ^ typed_avalue_to_string fmt av ^ ")" |