diff options
| author | Morgan Deters <mdeters@cs.nyu.edu> | 2014-06-21 21:13:12 -0400 |
|---|---|---|
| committer | Morgan Deters <mdeters@cs.nyu.edu> | 2014-06-21 21:14:39 -0400 |
| commit | bfbe1d5c50547a6040bec1e9f07d47185838aeee (patch) | |
| tree | 869452fb6704c99a743736fac29450c4a097f645 /src/prop/bvminisat/bvminisat.h | |
| parent | 3264f3bb76944129074c2a3204a94f0b02740e23 (diff) | |
Fix compiler warnings in BV-related code (unused vars mostly).
Diffstat (limited to 'src/prop/bvminisat/bvminisat.h')
| -rw-r--r-- | src/prop/bvminisat/bvminisat.h | 1 |
1 files changed, 0 insertions, 1 deletions
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; |