From 5f34447c5a84a0601e8d5200c50b32e8d3516130 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Tue, 7 Dec 2021 11:12:03 +0100
Subject: Fix Print.ml

---
 src/Print.ml | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

(limited to 'src')

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
-- 
cgit v1.2.3