From 04beb12e9d107134b55ea0f5212603f4feca7b4e Mon Sep 17 00:00:00 2001
From: dmartinez <dmartinez@iri.upc.edu>
Date: Wed, 26 Mar 2014 11:03:37 +0100
Subject: [PATCH] Better rule parsing
---
src/symbolic/rules.cpp | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/symbolic/rules.cpp b/src/symbolic/rules.cpp
index 39b97943..4bcc9bc7 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);
}
--
GitLab