From d09bb1889f184de32ceb078a815e016502e24279 Mon Sep 17 00:00:00 2001 From: Tim King Date: Thu, 1 Sep 2016 01:28:02 -0700 Subject: Relaxing the throw specifiers for the destructors for Node, TypeNode, the context/ classes, and their subclasses. Fixes compilation issues with clang 3.5 and -std=c++11 'exception specification of overriding function is more lax than base version' for a couple of different classes. --- src/theory/shared_terms_database.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/theory/shared_terms_database.h') diff --git a/src/theory/shared_terms_database.h b/src/theory/shared_terms_database.h index c108122ef..cc8959165 100644 --- a/src/theory/shared_terms_database.h +++ b/src/theory/shared_terms_database.h @@ -149,7 +149,7 @@ private: public: SharedTermsDatabase(TheoryEngine* theoryEngine, context::Context* context); - ~SharedTermsDatabase() throw(AssertionException); + ~SharedTermsDatabase(); /** * Asserts the equality to the shared terms database, -- cgit v1.2.3