From 024778d80eeec42fa0a50835208283246a561a45 Mon Sep 17 00:00:00 2001
From: Manos Koukoutos <emmanouil.koukoutos@epfl.ch>
Date: Wed, 10 Jun 2015 17:31:48 +0200
Subject: [PATCH] Display id instead of globalID for SMT identifiers

---
 src/main/scala/leon/solvers/smtlib/SMTLIBSolver.scala | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/main/scala/leon/solvers/smtlib/SMTLIBSolver.scala b/src/main/scala/leon/solvers/smtlib/SMTLIBSolver.scala
index 61b39b0ce..b5560fb0b 100644
--- a/src/main/scala/leon/solvers/smtlib/SMTLIBSolver.scala
+++ b/src/main/scala/leon/solvers/smtlib/SMTLIBSolver.scala
@@ -103,7 +103,7 @@ abstract class SMTLIBSolver(val context: LeonContext,
 
   protected val library = program.library
 
-  protected def id2sym(id: Identifier): SSymbol = SSymbol(id.name+"!"+id.globalId)
+  protected def id2sym(id: Identifier): SSymbol = SSymbol(id.name+"!"+id.id)
 
   protected def freshSym(id: Identifier): SSymbol = freshSym(id.name)
   protected def freshSym(name: String): SSymbol = id2sym(FreshIdentifier(name))
-- 
GitLab