Remove some unused variables.

diff --git a/src/theory/bv/bv_quick_check.cpp b/src/theory/bv/bv_quick_check.cpp
index 5c67bb3cb7ccca173f8c82a7b2f1451dbc46e7f3..9d22a3edf044c59f5f846e57cfc91bb573ae2a90 100644 (file)
--- 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() {}

diff --git a/src/theory/bv/bv_quick_check.h b/src/theory/bv/bv_quick_check.h
index 61d6baf831301847420b05eb50ce3b7f70b54c60..8a36e6b344d0ceb1f4a5723f8391548616314559 100644 (file)
--- a/src/theory/bv/bv_quick_check.h
+++ b/src/theory/bv/bv_quick_check.h
@@ -127,10 +127,10 @@ class QuickXPlain {
   unsigned d_numCalled; // number of times called
   double d_minRatioSum; // sum of minimization ratio for computing average min ratio  
   unsigned d_numConflicts; // number of conflicts (including when minimization not applied)
-  unsigned d_period; // after how many conflicts to try minimizing again
+  // unsigned d_period; // after how many conflicts to try minimizing again
 
-  double d_thresh; // if minimization ratio is less, increase period
-  double d_hardThresh; // decrease period if minimization ratio is greater than this
+  // double d_thresh; // if minimization ratio is less, increase period
+  // double d_hardThresh; // decrease period if minimization ratio is greater than this
   
   
   Statistics d_statistics;