Fix merge mishap of #2359.

diff --git a/src/smt/smt_engine.cpp b/src/smt/smt_engine.cpp
index 914d781d4be38e24d4c285ba3cc6774e5f70cc49..afacb205c2421018ea0224940a2813e65a1456b1 100644 (file)
--- a/src/smt/smt_engine.cpp
+++ b/src/smt/smt_engine.cpp
@@ -485,8 +485,6 @@ class SmtEnginePrivate : public NodeManagerListener {
   /** A circuit propagator for non-clausal propositional deduction */
   booleans::CircuitPropagator d_propagator;
 
-  bool d_propagatorNeedsFinish;
-
   /** Assertions in the preprocessing pipeline */
   AssertionPipeline d_assertions;