From: trevor_hansen <trevor_hansen@e59a4935-1847-0410-ae03-e826735625c1>
Date: Wed, 7 Jul 2010 07:37:55 +0000 (+0000)
Subject: Fix the build.
X-Git-Url: https://git.unchartedbackwaters.co.uk/w/?a=commitdiff_plain;h=b796f3207433383dedd425c53c974481f03efaa2;p=francis%2Fstp.git

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 0eeacc6..493d7fc 100644
--- 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 2ae6aaf..4a3d0b1 100644
--- 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();