From d0ff07998f5bbcff525f0868878599d095e62bdb Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Th=C3=A9ophile=20Bastian?= <contact@tobast.fr>
Date: Thu, 18 Jan 2018 16:03:29 +0100
Subject: [PATCH] Prevent IDs in variables from being trimmed

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

diff --git a/src/CPS.ml b/src/CPS.ml
index 017204e..2eb974c 100644
--- a/src/CPS.ml
+++ b/src/CPS.ml
@@ -13,7 +13,7 @@ let freshId =
         (string_of_int !cId))
 
 let freshWithPrefix pre =
-    Atom.fresh (pre ^ (freshId ()))
+    Atom.fresh (pre ^ (freshId ()) ^ "_")
 let freshBlockVar () = freshWithPrefix "bl_"
 let freshVar () = freshWithPrefix "v_"