Oops, the operator is !, not -

2015-03-03 02:20:31 +01:00
parent 05d46e9ac3
commit 0b55f6e64d
1 changed files with 1 additions and 1 deletions
--- a/lslopt/lslfoldconst.py
+++ b/lslopt/lslfoldconst.py
@@ -581,7 +581,7 @@ class foldconst(object):
                                    and child[1]['t'] in ('float', 'integer'):
                SEF = 'SEF' in node
                node['nt'] = {'<=':'>', '>=':'<', '!=':'=='}[nt]
-                node = parent[index] = {'nt':'NEG', 't':node['t'], 'ch':[node]}
+                node = parent[index] = {'nt':'!', 't':node['t'], 'ch':[node]}
                if SEF:
                    node['SEF'] = True
                # Fold the new node