From b796f3207433383dedd425c53c974481f03efaa2 Mon Sep 17 00:00:00 2001 From: trevor_hansen Date: Wed, 7 Jul 2010 07:37:55 +0000 Subject: [PATCH] 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 --- src/simplifier/constantBitP/ConstantBitPropagation.cpp | 3 ++- src/simplifier/constantBitP/ConstantBitPropagation.h | 3 --- 2 files changed, 2 insertions(+), 4 deletions(-) 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(); -- 2.47.3