From 65db34e1923e47b4cf7d015615e8af6bcf67b8ba Mon Sep 17 00:00:00 2001
From: Andreas Kloeckner <inform@tiker.net>
Date: Thu, 4 Dec 2008 16:44:55 -0500
Subject: [PATCH] Fix important operator precedence bug in
SimplifyingSortingStringifyMapper.
---
src/mapper/stringifier.py | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/mapper/stringifier.py b/src/mapper/stringifier.py
index 36d30cb..4c73a73 100644
--- a/src/mapper/stringifier.py
+++ b/src/mapper/stringifier.py
@@ -169,7 +169,7 @@ class SimplifyingSortingStringifyMapper(StringifyMapper):
for ch in expr.children:
neg_prod = get_neg_product(ch)
if neg_prod is not None:
- negatives.append(self.rec(neg_prod, PREC_SUM))
+ negatives.append(self.rec(neg_prod, PREC_PRODUCT))
else:
positives.append(self.rec(ch, PREC_SUM))
--
GitLab