From: Morgan Deters <mdeters@gmail.com>
Date: Tue, 12 Oct 2010 22:03:24 +0000 (+0000)
Subject: minor unit test fix-ups
X-Git-Tag: cvc5-1.0.0~8805
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=5d1fe7f3fe26e6ace5ba498054505fd28090cd90;p=cvc5.git

minor unit test fix-ups
---

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 */