No need to simplify !!! to ! as FoldCond already takes care of that.

2015-03-29 01:27:08 +01:00
parent 9aae475125
commit 274b563390
1 changed files with 0 additions and 3 deletions
--- a/lslopt/lslfoldconst.py
+++ b/lslopt/lslfoldconst.py
@@ -292,9 +292,6 @@ class foldconst(object):
            subexpr = child[0]
            if 'SEF' in subexpr:
                node['SEF'] = True
-            if subexpr['nt'] == '!' and subexpr['ch'][0]['nt'] == '!':
-                # Simplify !!! to !
-                subexpr = child[0] = subexpr['ch'][0]['ch'][0]
            if subexpr['nt'] == 'CONST':
                node = parent[index] = subexpr
                node['value'] = int(not node['value'])