From 0b55f6e64d34b3575a0dec3f16518a122cd04181 Mon Sep 17 00:00:00 2001 From: Sei Lisa Date: Tue, 3 Mar 2015 02:20:31 +0100 Subject: [PATCH] Oops, the operator is !, not - --- lslopt/lslfoldconst.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/lslopt/lslfoldconst.py b/lslopt/lslfoldconst.py index deaf330..0c19300 100644 --- 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