Remove support for flipDecision (#2319)

2 files changed, 0 insertions, 2 deletions

diff --git a/test/unit/theory/theory_engine_white.h b/test/unit/theory/theory_engine_white.h
index 290f0d452..620fcd92e 100644
--- a/test/unit/theory/theory_engine_white.h
+++ b/test/unit/theory/theory_engine_white.h
@@ -64,7 +64,6 @@ class FakeOutputChannel : public OutputChannel {
     Unimplemented();
   }
   void requirePhase(TNode, bool) override { Unimplemented(); }
-  bool flipDecision() override { Unimplemented(); }
   void setIncomplete() override { Unimplemented(); }
   void handleUserAttribute(const char* attr, Theory* t) override {
     Unimplemented();
diff --git a/test/unit/theory/theory_white.h b/test/unit/theory/theory_white.h
index bb227d2bb..0fbf9c1d6 100644
--- a/test/unit/theory/theory_white.h
+++ b/test/unit/theory/theory_white.h
@@ -68,7 +68,6 @@ class TestOutputChannel : public OutputChannel {
   }
 
   void requirePhase(TNode, bool) override { Unreachable(); }
-  bool flipDecision() override { Unreachable(); }
   void setIncomplete() override { Unreachable(); }
 
   void clear() { d_callHistory.clear(); }