Added Theory::presolve().

2 files changed, 5 insertions, 0 deletions

diff --git a/test/unit/theory/theory_black.h b/test/unit/theory/theory_black.h
index f0da885c7..7387551e3 100644
--- a/test/unit/theory/theory_black.h
+++ b/test/unit/theory/theory_black.h
@@ -136,6 +136,9 @@ public:
     }
   }
 
+  void presolve() {
+    Unimplemented();
+  }
   void preRegisterTerm(TNode n) {}
   void propagate(Effort level) {}
   void explain(TNode n, Effort level) {}
diff --git a/test/unit/theory/theory_engine_white.h b/test/unit/theory/theory_engine_white.h
index bd6ec515b..594b5646d 100644
--- a/test/unit/theory/theory_engine_white.h
+++ b/test/unit/theory/theory_engine_white.h
@@ -203,6 +203,8 @@ public:
     return "Fake" + d_id;
   }
 
+  void presolve() { Unimplemented(); }
+
   void preRegisterTerm(TNode) { Unimplemented(); }
   void registerTerm(TNode) { Unimplemented(); }
   void check(Theory::Effort) { Unimplemented(); }