diff options
author | Morgan Deters <mdeters@cs.nyu.edu> | 2014-11-07 20:43:53 -0500 |
---|---|---|
committer | Morgan Deters <mdeters@cs.nyu.edu> | 2014-11-07 20:43:53 -0500 |
commit | d997064088a8dfed20940cfce53dbefac4c0be77 (patch) | |
tree | 1ca3c6abd64c122e490824b86d260ddc70de1044 /src/theory/bv/bv_quick_check.cpp | |
parent | e5de3b175640a5592b668dd18496be5a29405c5b (diff) |
Remove some unused variables.
Diffstat (limited to 'src/theory/bv/bv_quick_check.cpp')
-rw-r--r-- | src/theory/bv/bv_quick_check.cpp | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/theory/bv/bv_quick_check.cpp b/src/theory/bv/bv_quick_check.cpp index 5c67bb3cb..9d22a3edf 100644 --- a/src/theory/bv/bv_quick_check.cpp +++ b/src/theory/bv/bv_quick_check.cpp @@ -150,9 +150,9 @@ QuickXPlain::QuickXPlain(const std::string& name, BVQuickCheck* solver, unsigned , d_numCalled(0) , d_minRatioSum(0) , d_numConflicts(0) - , d_period(20) - , d_thresh(0.7) - , d_hardThresh(0.9) + // , d_period(20) + // , d_thresh(0.7) + // , d_hardThresh(0.9) , d_statistics(name) {} QuickXPlain::~QuickXPlain() {} |