Fix the build.

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

diff --git a/src/simplifier/constantBitP/ConstantBitPropagation.cpp b/src/simplifier/constantBitP/ConstantBitPropagation.cpp
index 0eeacc656a07943dd29e8d05f27d17526c44fdea..493d7fc71432ab161173db46860b6b1f20aceb3c 100644 (file)
--- a/src/simplifier/constantBitP/ConstantBitPropagation.cpp
+++ b/src/simplifier/constantBitP/ConstantBitPropagation.cpp
@@ -159,6 +159,7 @@ namespace simplifier
       fixedMap = new NodeToFixedBitsMap(1000); // better to use the function that returns the number of nodes.. whatever that is.
       workList = new WorkList(top);
       dependents = new Dependencies(top); // List of the parents of a node.
+      msm = NULL;
       //msm = new MultiplicationStatsMap();
 
 
@@ -576,7 +577,7 @@ namespace simplifier
 
       assert(status != CONFLICT);
       status = dispatchToTransferFunctions(k, children, *output, n, msm);
-      //result = dispatchToMaximallyPrecise(k, children, *output, n);
+      //result = dispatchToMaximallyPrecise(k, children, *output, n,msm);
 
       assert(((unsigned)output->getWidth()) == n.GetValueWidth() || output->getWidth() ==1);
 

diff --git a/src/simplifier/constantBitP/ConstantBitPropagation.h b/src/simplifier/constantBitP/ConstantBitPropagation.h
index 2ae6aafe504c5dae5667b2b9e33e49e7c9a40431..4a3d0b17fba235424256c5ffbb4a285a80e0fb8f 100644 (file)
--- a/src/simplifier/constantBitP/ConstantBitPropagation.h
+++ b/src/simplifier/constantBitP/ConstantBitPropagation.h
@@ -49,10 +49,7 @@ namespace simplifier
       WorkList *workList;
       Dependencies * dependents;
       Simplifier *simplifier;
-
-#ifdef WITHCBITP
       MultiplicationStatsMap* msm;
-#endif
 
       void
       printNodeWithFixings();