summaryrefslogtreecommitdiff
path: root/src/Print.ml
diff options
context:
space:
mode:
Diffstat (limited to 'src/Print.ml')
-rw-r--r--src/Print.ml12
1 files changed, 6 insertions, 6 deletions
diff --git a/src/Print.ml b/src/Print.ml
index 27b5538d..f92102fe 100644
--- a/src/Print.ml
+++ b/src/Print.ml
@@ -364,6 +364,12 @@ module Values = struct
"@ignored_mut_loan(" ^ V.BorrowId.to_string bid ^ ", "
^ typed_avalue_to_string fmt av
^ ")"
+ | AEndedIgnoredMutLoan ml ->
+ "@ended_ignored_mut_borrow{ given_back="
+ ^ typed_avalue_to_string fmt ml.given_back
+ ^ "; child: "
+ ^ typed_avalue_to_string fmt ml.child
+ ^ "}"
| AIgnoredSharedLoan asb ->
"@ignored_shared_loan("
^ abstract_shared_borrows_to_string fmt asb
@@ -379,12 +385,6 @@ module Values = struct
| ASharedBorrow bid -> "⌊shared@" ^ V.BorrowId.to_string bid ^ "⌋"
| AIgnoredMutBorrow av ->
"@ignored_mut_borrow(" ^ typed_avalue_to_string fmt av ^ ")"
- | AEndedIgnoredMutLoan ml ->
- "@ended_ignored_mut_borrow{ given_back="
- ^ typed_avalue_to_string fmt ml.given_back
- ^ "; child: "
- ^ typed_avalue_to_string fmt ml.child
- ^ "}"
| AIgnoredSharedBorrow sb ->
"@ignored_shared_borrow("
^ abstract_shared_borrows_to_string fmt sb