diff --git a/src/main/scala/leon/solvers/smtlib/SMTLIBSolver.scala b/src/main/scala/leon/solvers/smtlib/SMTLIBSolver.scala index 61b39b0cebed37a05951d6804ff270263e172e5c..b5560fb0b4d5861ed226d63c74407c3a4392eaa0 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))