1 files changed, 5 insertions, 0 deletions
diff --git a/test/unit/theory/theory_black.h b/test/unit/theory/theory_black.h
index 60e090d16..76385219d 100644
--- a/test/unit/theory/theory_black.h
+++ b/test/unit/theory/theory_black.h
@@ -62,6 +62,11 @@ public:
     push(PROPAGATE, n);
   }
 
+  void propagateAsDecision(TNode n)
+    throw(AssertionException) {
+    // ignore
+  }
+
   LemmaStatus lemma(TNode n, bool removable)
     throw(AssertionException) {
     push(LEMMA, n);