Uncommented negation assertion.

8b4634e0 · Taddeus Kroes · 8d6d4788 · 8b4634e0
Commit 8b4634e0 authored Feb 16, 2012 by Taddeus Kroes
Hide whitespace changes
Inline Side-by-side

Showing with 1 addition and 1 deletion

src/rules/negation.py src/rules/negation.py +1 -1

No files found.
--- a/src/rules/negation.py
+++ b/src/rules/negation.py
@@ -38,7 +38,7 @@ def match_negate_polynome(node):
    --a       ->  a
    -(a + b)  ->  -a - b
    """
-    #assert node.negated
+    assert node.negated
    p = []