From 5eab4bbb0ddead87cc628e3bd48aaf0af0dae941 Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Wed, 19 Oct 2022 22:25:29 -0400
Subject: [PATCH] feat(gensym): nicer names for gensym symbols

---
 src/core/gensym.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/core/gensym.ml b/src/core/gensym.ml
index a171ea64..743488b2 100644
--- a/src/core/gensym.ml
+++ b/src/core/gensym.ml
@@ -25,7 +25,7 @@ let ops =
   in
 
   let pp out = function
-    | Fresh { id; pre; _ } -> Fmt.fprintf out "$%s[%d]" pre id
+    | Fresh { id; pre; _ } -> Fmt.fprintf out "%s%d" pre id
     | _ -> assert false
   in