Fix. An optimisation added in r1020 was disabled. This caused the unit tests to fail.

git-svn-id: https://stp-fast-prover.svn.sourceforge.net/svnroot/stp-fast-prover/trunk/stp@1025 e59a4935-1847-0410-ae03-e826735625c1

diff --git a/src/simplifier/simplifier.cpp b/src/simplifier/simplifier.cpp
index 77d7b1b17d432b414d7f3683d466838fa3992ad3..67fe0a3ce20de886efbee6143ba483859a77a5d1 100644 (file)
--- a/src/simplifier/simplifier.cpp
+++ b/src/simplifier/simplifier.cpp
@@ -2644,7 +2644,7 @@ namespace BEEV
                   output = nf->CreateTerm(BVCONCAT, inputValueWidth, t, u);
                 }
             }
-          else if (t.GetKind() == BVCONCAT && t[0].GetKind() != BVCONCAT && false)
+          else if (t.GetKind() == BVCONCAT && t[0].GetKind() != BVCONCAT)
             {
 
               /// This makes the left hand child of every concat not a concat.