Removes an unused variable from Theory. (#1375)

diff --git a/src/theory/theory.h b/src/theory/theory.h
index d9e89902c02f2dbe79dbfa7dfe9c0c100f795355..0f820ac8e81696dbcf802921371fbcb5befde394 100644 (file)
--- a/src/theory/theory.h
+++ b/src/theory/theory.h
@@ -229,12 +229,6 @@ private:
   void printFacts(std::ostream& os) const;
   void debugPrintFacts() const;
 
-  /**
-   * Whether proofs are enabled
-   *
-   */
-  bool d_proofEnabled;
-
 public:
 
   /**