diff --git a/utils/infix-to-prefix/Extractor.py b/utils/infix-to-prefix/Extractor.py index 1c545bc..d04eead 100644 --- a/utils/infix-to-prefix/Extractor.py +++ b/utils/infix-to-prefix/Extractor.py @@ -14,7 +14,7 @@ def extract(path): 'op->type', 'op->type', 'Call', 'this', 'IRMatcher'] rules = [] for line in txtfile: - rule = re.search('rewrite\((.*)\) *\|\|$', line) + rule = re.search('rewrite\((.*)\)', line) if rule: formated_rule = [r for r in rule.group(1)] formated_rule = ''.join(formated_rule)