From bff7254d9ec61b24837a01dc168a93e68390d415 Mon Sep 17 00:00:00 2001
From: chriseth <chris@ethereum.org>
Date: Mon, 7 Dec 2020 13:30:09 +0100
Subject: [PATCH] Fix merge conflict.

---
 libsolidity/formal/SMTEncoder.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/libsolidity/formal/SMTEncoder.cpp b/libsolidity/formal/SMTEncoder.cpp
index 2e13073a2..67b908daa 100644
--- a/libsolidity/formal/SMTEncoder.cpp
+++ b/libsolidity/formal/SMTEncoder.cpp
@@ -2573,7 +2573,7 @@ map<ContractDefinition const*, vector<ASTPointer<frontend::Expression>>> SMTEnco
 		if (auto constructor = contract->constructor())
 			for (auto mod: constructor->modifiers())
 			{
-				auto decl = mod->name()->annotation().referencedDeclaration;
+				auto decl = mod->name().annotation().referencedDeclaration;
 				if (auto base = dynamic_cast<ContractDefinition const*>(decl))
 				{
 					solAssert(!baseArgs.count(base), "");