From 83ef34f41dd5b759ac6cea02fe16aa71d4432214 Mon Sep 17 00:00:00 2001
From: Leonardo Alt <leo@ethereum.org>
Date: Wed, 18 Sep 2019 22:19:35 +0200
Subject: [PATCH] [SMTChecker] Fix SMT name for function identifiers

---
 libsolidity/formal/SMTEncoder.cpp | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/libsolidity/formal/SMTEncoder.cpp b/libsolidity/formal/SMTEncoder.cpp
index 321db653b..8f4b369da 100644
--- a/libsolidity/formal/SMTEncoder.cpp
+++ b/libsolidity/formal/SMTEncoder.cpp
@@ -621,8 +621,8 @@ void SMTEncoder::visitFunctionIdentifier(Identifier const& _identifier)
 	auto const& fType = dynamic_cast<FunctionType const&>(*_identifier.annotation().type);
 	if (fType.returnParameterTypes().size() == 1)
 	{
-		defineGlobalVariable(fType.richIdentifier(), _identifier);
-		m_context.createExpression(_identifier, m_context.globalSymbol(fType.richIdentifier()));
+		defineGlobalVariable(fType.identifier(), _identifier);
+		m_context.createExpression(_identifier, m_context.globalSymbol(fType.identifier()));
 	}
 }