From 9a860ae3ac5f0fdd4430ba39315456c0396e55e7 Mon Sep 17 00:00:00 2001
From: Aymeric Fromherz
Date: Thu, 30 May 2024 13:01:06 +0200
Subject: More lisible sign for proj_right pretty-printing

---
 compiler/Print.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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