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), "");