diff options
Diffstat (limited to 'src/theory/theory.h')
| -rw-r--r-- | src/theory/theory.h | 6 |
1 files changed, 0 insertions, 6 deletions
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: /** |