Removing more miscellaneous throw specifiers. (#1488)

Removing more miscellaneous throw specifiers.

2 files changed, 1 insertions, 4 deletions

diff --git a/src/theory/arrays/static_fact_manager.h b/src/theory/arrays/static_fact_manager.h
index 4a08838fe..deefb02cf 100644
--- a/src/theory/arrays/static_fact_manager.h
+++ b/src/theory/arrays/static_fact_manager.h
@@ -45,7 +45,6 @@ namespace arrays {
 
 public:
   StaticFactManager() {}
-  ~StaticFactManager() throw() { }
 
   /**
    * Return a Node's union-find representative, doing path compression.
diff --git a/src/theory/arrays/union_find.h b/src/theory/arrays/union_find.h
index eb60f339b..3028eaf17 100644
--- a/src/theory/arrays/union_find.h
+++ b/src/theory/arrays/union_find.h
@@ -56,14 +56,12 @@ class UnionFind : context::ContextNotifyObj {
   /** Our current offset in the d_trace stack (context-dependent). */
   context::CDO<size_t> d_offset;
 
-public:
+ public:
   UnionFind(context::Context* ctxt) :
     context::ContextNotifyObj(ctxt),
     d_offset(ctxt, 0) {
   }
 
-  ~UnionFind() throw() { }
-
   /**
    * Return a Node's union-find representative, doing path compression.
    */