From 274b563390371a625a43f24153e4e4193c034a44 Mon Sep 17 00:00:00 2001
From: Sei Lisa <sei-lisa@email.fake>
Date: Sun, 29 Mar 2015 01:27:08 +0100
Subject: [PATCH] No need to simplify !!! to ! as FoldCond already takes care
 of that.

---
 lslopt/lslfoldconst.py | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/lslopt/lslfoldconst.py b/lslopt/lslfoldconst.py
index f838f88..bdb234d 100644
--- 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'])