Rule: isMarker is no longer necessary

This commit is contained in:
Felipe Zimmerle
2019-02-25 11:32:43 -03:00
parent b079faee97
commit 4669387d1f
3 changed files with 10 additions and 12 deletions

View File

@@ -68,12 +68,10 @@ class RuleMarker : public Rule {
};
std::shared_ptr<std::string> getName() {
std::shared_ptr<std::string> getName() const {
return m_name;
}
bool isMarker() override { return true; }
private:
std::shared_ptr<std::string> m_name;
};