From eddabf66104dcc061943655e530d8d8b8d8a7041 Mon Sep 17 00:00:00 2001 From: Tim King Date: Wed, 15 Nov 2017 09:40:20 -0800 Subject: [PATCH] Removes an unused variable from Theory. (#1375) --- src/theory/theory.h | 6 ------ 1 file changed, 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: /** -- 2.30.2