Rule: isMarker is no longer necessary

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

View File

@@ -58,12 +58,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;
};