From: Tim King <tim.king@imag.fr>
Date: Mon, 27 Apr 2015 11:15:03 +0000 (+0200)
Subject: Updating failing unit tests.
X-Git-Tag: cvc5-1.0.0~6339
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=e8a1bd1b7b7e86a7d1ac1acf61c1e09843d7972e;p=cvc5.git

Updating failing unit tests.
---

diff --git a/test/unit/context/context_black.h b/test/unit/context/context_black.h
index 494db312c..f72cc05f4 100644
--- a/test/unit/context/context_black.h
+++ b/test/unit/context/context_black.h
@@ -34,6 +34,8 @@ struct MyContextNotifyObj : public ContextNotifyObj {
     ContextNotifyObj(context, pre),
     nCalls(0) {
   }
+  
+  virtual ~MyContextNotifyObj() throw(AssertionException) {}
 
   void contextNotifyPop() {
     ++nCalls;
@@ -71,7 +73,7 @@ public:
     nSaves(0) {
   }
 
-  ~MyContextObj() {
+  virtual ~MyContextObj() throw(AssertionException) {
     destroy();
   }