From f826e98196f4ad84657e682230a78dcdd08bfb88 Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Sun, 18 May 2014 13:50:29 -0700
Subject: [PATCH] feat(kernel/formatter): avoid hierarchical names when
 printing local constants

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
---
 src/kernel/formatter.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/kernel/formatter.cpp b/src/kernel/formatter.cpp
index 78546c14d..9f7b554d6 100644
--- a/src/kernel/formatter.cpp
+++ b/src/kernel/formatter.cpp
@@ -24,7 +24,7 @@ name pick_unused_name(expr const & t, name const & s) {
     name r = s;
     unsigned i = 1;
     while (is_used_name(t, r)) {
-        r = name(s, i);
+        r = name(s).append_after(i);
         i++;
     }
     return r;