diff options
| author | lianah <lianahady@gmail.com> | 2014-06-22 01:34:26 -0400 |
|---|---|---|
| committer | lianah <lianahady@gmail.com> | 2014-06-22 01:34:26 -0400 |
| commit | cca7d0264c74b88be9c987d3c39e16095a628395 (patch) | |
| tree | ad42c05034c7a1222daf879eac1c22d6bdf708bb /src/prop | |
| parent | c20a457581860125930b8e52fa8244302aea8e87 (diff) | |
| parent | bfbe1d5c50547a6040bec1e9f07d47185838aeee (diff) | |
Merge pull request #39 from mdeters/bv-warnings
Fix compiler warnings in BV-related code (unused vars mostly).
Diffstat (limited to 'src/prop')
| -rw-r--r-- | src/prop/bvminisat/bvminisat.cpp | 1 | ||||
| -rw-r--r-- | src/prop/bvminisat/bvminisat.h | 1 |
2 files changed, 0 insertions, 2 deletions
diff --git a/src/prop/bvminisat/bvminisat.cpp b/src/prop/bvminisat/bvminisat.cpp index 46b521e6b..7322cd0fa 100644 --- a/src/prop/bvminisat/bvminisat.cpp +++ b/src/prop/bvminisat/bvminisat.cpp @@ -26,7 +26,6 @@ BVMinisatSatSolver::BVMinisatSatSolver(context::Context* mainSatContext, const s : context::ContextNotifyObj(mainSatContext, false), d_minisat(new BVMinisat::SimpSolver(mainSatContext)), d_minisatNotify(0), - d_solveCount(0), d_assertionsCount(0), d_assertionsRealCount(mainSatContext, 0), d_lastPropagation(mainSatContext, 0), diff --git a/src/prop/bvminisat/bvminisat.h b/src/prop/bvminisat/bvminisat.h index 568d89f7f..f9d0fbd6a 100644 --- a/src/prop/bvminisat/bvminisat.h +++ b/src/prop/bvminisat/bvminisat.h @@ -55,7 +55,6 @@ private: BVMinisat::SimpSolver* d_minisat; MinisatNotify* d_minisatNotify; - unsigned d_solveCount; unsigned d_assertionsCount; context::CDO<unsigned> d_assertionsRealCount; context::CDO<unsigned> d_lastPropagation; |