Merge pull request #1397 from roadriverrail/contract_collision

Error out when contracts collide on name
2023-10-03 13:03:40 +00:00 · 2017-01-18 14:28:00 +01:00
parent 4f4963131b 94b092d87c
commit 005e190885
10 changed files with 82 additions and 59 deletions
@@ -191,7 +191,6 @@ void ContractDefinition::setUserDocumentation(Json::Value const& _userDocumentat
 	m_userDocumentation = _userDocumentation;
 }

-
 vector<Declaration const*> const& ContractDefinition::inheritableMembers() const
 {
 	if (!m_inheritableMembers)