From 5d1fe7f3fe26e6ace5ba498054505fd28090cd90 Mon Sep 17 00:00:00 2001
From: Morgan Deters <mdeters@gmail.com>
Date: Tue, 12 Oct 2010 22:03:24 +0000
Subject: [PATCH] minor unit test fix-ups

---
 src/theory/theory_test_utils.h         | 2 ++
 test/unit/theory/theory_engine_white.h | 2 +-
 2 files changed, 3 insertions(+), 1 deletion(-)

diff --git a/src/theory/theory_test_utils.h b/src/theory/theory_test_utils.h
index a7f6e98ae..7d147f6a5 100644
--- 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 6adbba207..12c38d0d7 100644
--- 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 */
 
-- 
2.30.2