diff options
Diffstat (limited to 'src/Print.ml')
| -rw-r--r-- | src/Print.ml | 4 |
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) -> |