Fix various issues

1 files changed, 2 insertions, 2 deletions

diff --git a/src/Print.ml b/src/Print.ml
index da6158b5..e1834ca6 100644
--- a/src/Print.ml
+++ b/src/Print.ml
@@ -317,9 +317,9 @@ module Values = struct
             let given_back = List.map (aproj_to_string fmt) given_back in
             " (" ^ String.concat "," given_back ^ ") "
         in
-        "["
+        "⌊"
         ^ symbolic_value_to_string (value_to_rtype_formatter fmt) sv
-        ^ given_back ^ "]"
+        ^ given_back ^ "⌋"
     | AProjBorrows (sv, rty) ->
         "(" ^ symbolic_value_proj_to_string fmt sv rty ^ ")"
     | AEndedProjLoans (_, given_back) ->