diff options
| author | Son Ho | 2022-04-21 12:28:44 +0200 |
|---|---|---|
| committer | Son Ho | 2022-04-21 12:28:44 +0200 |
| commit | 029a12e25e1ee883ac98472f2e032b466d765307 (patch) | |
| tree | 8f1070dcae74c4fb527a239e444ae1fecfca48fd /src/Print.ml | |
| parent | 66862a29cf023ca4d586479a9690dc4f61d8573c (diff) | |
Improve the generation of names for given back values
Diffstat (limited to '')
| -rw-r--r-- | src/Print.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Print.ml b/src/Print.ml index 5ccba517..98876acb 100644 --- a/src/Print.ml +++ b/src/Print.ml @@ -309,7 +309,7 @@ module Values = struct "&mut@" ^ V.BorrowId.to_string bid ^ " (" ^ typed_value_to_string fmt tv ^ ")" - | InactivatedMutBorrow bid -> + | InactivatedMutBorrow (_, bid) -> "⌊inactivated_mut@" ^ V.BorrowId.to_string bid ^ "⌋" and loan_content_to_string (fmt : value_formatter) (lc : V.loan_content) : |