From 6e3beb843174e6d89caa033f6fe2ab5253c5b2d1 Mon Sep 17 00:00:00 2001 From: nassimb0u Date: Fri, 20 Jan 2023 19:43:31 +0100 Subject: [PATCH] fix rule regex --- utils/infix-to-prefix/Extractor.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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)