diff options
Diffstat (limited to '')
| -rw-r--r-- | compiler/Print.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/Print.ml b/compiler/Print.ml index 12506274..9a3a7d16 100644 --- a/compiler/Print.ml +++ b/compiler/Print.ml @@ -152,7 +152,7 @@ module Values = struct match pm with | PNone -> s | PLeft -> "|" ^ s ^ "|" - | PRight -> "┊" ^ s ^ "┊" + | PRight -> "︙" ^ s ^ "︙" let rec typed_avalue_to_string ?(span : Meta.span option = None) (env : fmt_env) (v : typed_avalue) : string = |