additional stuff for sharing,

1 files changed, 6 insertions, 12 deletions

diff --git a/src/theory/theory_test_utils.h b/src/theory/theory_test_utils.h
index ec2405295..bcb1c46d7 100644
--- a/src/theory/theory_test_utils.h
+++ b/src/theory/theory_test_utils.h
@@ -71,27 +71,21 @@ public:
 
   void safePoint()  throw(Interrupted, AssertionException) {}
 
-  void conflict(TNode n, bool safe = false)
-    throw(Interrupted, AssertionException) {
+  void conflict(TNode n)
+    throw(AssertionException) {
     push(CONFLICT, n);
   }
 
-  void propagate(TNode n, bool safe = false)
-    throw(Interrupted, AssertionException) {
+  void propagate(TNode n)
+    throw(AssertionException) {
     push(PROPAGATE, n);
   }
 
-  void lemma(TNode n, bool safe = false) throw(Interrupted, AssertionException) {
+  void lemma(TNode n, bool removable) throw(AssertionException) {
     push(LEMMA, n);
   }
-  void augmentingLemma(TNode n, bool safe = false) throw(Interrupted, AssertionException){
-    push(AUG_LEMMA, n);
-  }
-  void explanation(TNode n, bool safe = false)  throw(Interrupted, AssertionException) {
-    push(EXPLANATION, n);
-  }
 
-  void setIncomplete() throw(Interrupted, AssertionException) {}
+  void setIncomplete() throw(AssertionException) {}
 
   void clear() {
     d_callHistory.clear();