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: minor unit test fix-ups

---
 test/unit/theory/theory_engine_white.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'test')

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 */
 
-- 
cgit v1.2.3