From: Tim King <taking@cs.nyu.edu>
Date: Wed, 15 Nov 2017 17:40:20 +0000 (-0800)
Subject: Removes an unused variable from Theory. (#1375)
X-Git-Tag: cvc5-1.0.0~5472
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=eddabf66104dcc061943655e530d8d8b8d8a7041;p=cvc5.git

Removes an unused variable from Theory. (#1375)
---

diff --git a/src/theory/theory.h b/src/theory/theory.h
index d9e89902c..0f820ac8e 100644
--- 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:
 
   /**