diff --git a/lslopt/lslfoldconst.py b/lslopt/lslfoldconst.py index 1c10f66..7d086f0 100644 --- a/lslopt/lslfoldconst.py +++ b/lslopt/lslfoldconst.py @@ -640,6 +640,12 @@ class foldconst(object): subexpr['ch'] = [subexpr['ch'][b], subexpr['ch'][a]] parent[index] = subexpr return + if snt == '!=': + subexpr['nt'] = '==' + parent[index] = subexpr + self.FoldTree(parent, index) + return + return if nt == '~':