diff --git a/src/symbolic/rules.cpp b/src/symbolic/rules.cpp index 39b97943128c8bb419c431bce78a17b9027e8581..4bcc9bc7d60ad5d701d68f0aba2a9e9794504666 100644 --- a/src/symbolic/rules.cpp +++ b/src/symbolic/rules.cpp @@ -888,7 +888,7 @@ void RuleSet::read_rules_from_file(std::string file_path) { // ACTION: // read until ACTION: found - while (line_title != "ACTION:") { + while (line_title.find("ACTION:") == std::string::npos) { getline (rules_file,line_title); }