Removing an unused member from TreeLog.

diff --git a/src/theory/arith/cut_log.h b/src/theory/arith/cut_log.h
index 548035aec8a0aa6f45f224e30dd9c7c006d5f5f0..e6475b58e1e235501b1c2285452b6265355fbfa2 100644 (file)
--- a/src/theory/arith/cut_log.h
+++ b/src/theory/arith/cut_log.h
@@ -234,8 +234,6 @@ std::ostream& operator<<(std::ostream& os, const NodeLog& nl);
 class ApproximateSimplex;
 class TreeLog {
 private:
-  ApproximateSimplex* d_generator;
-
   int next_exec_ord;
   typedef std::map<int, NodeLog> ToNodeMap;
   ToNodeMap d_toNode;