diff options
| author | Aymeric Fromherz | 2024-05-30 13:01:06 +0200 |
|---|---|---|
| committer | Aymeric Fromherz | 2024-05-30 13:01:06 +0200 |
| commit | 9a860ae3ac5f0fdd4430ba39315456c0396e55e7 (patch) | |
| tree | 40b3e7d4fd4ecf8fa3cd4a5ba02d0d5bedaa5588 | |
| parent | ce8614be6bd96c51756bf5922b5dfd4c59650dd4 (diff) | |
More lisible sign for proj_right pretty-printing
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 = |