minor unit test fix-ups

diff --git a/src/theory/theory_test_utils.h b/src/theory/theory_test_utils.h
index a7f6e98ae72fd23ff541098eb1ee9b026df5a9a5..7d147f6a516c2796c32fb4018022d9ca51c4424d 100644 (file)
--- a/src/theory/theory_test_utils.h
+++ b/src/theory/theory_test_utils.h
@@ -95,6 +95,8 @@ public:
     push(EXPLANATION, n);
   }
 
+  void setIncomplete() throw(Interrupted, AssertionException) {}
+
   void clear() {
     d_callHistory.clear();
   }

diff --git a/test/unit/theory/theory_engine_white.h b/test/unit/theory/theory_engine_white.h
index 6adbba207fd2831f85f8f606301dd3e06e0a37b0..12c38d0d7395af06b4e8f565e89d1c772e78ff31 100644 (file)
--- a/test/unit/theory/theory_engine_white.h
+++ b/test/unit/theory/theory_engine_white.h
@@ -63,7 +63,7 @@ class FakeOutputChannel : public OutputChannel {
     Unimplemented();
   }
   void setIncomplete() throw(AssertionException) {
-    Unimplemented()
+    Unimplemented();
   }
 };/* class FakeOutputChannel */