Removing throw specifiers from miscellaneous src/expr/ classes. (#1503)

1 files changed, 9 insertions, 9 deletions

diff --git a/src/expr/emptyset.h b/src/expr/emptyset.h
index 8cb2bbf41..9fcab7a55 100644
--- a/src/expr/emptyset.h
+++ b/src/expr/emptyset.h
@@ -33,25 +33,25 @@ namespace CVC4 {
 
 namespace CVC4 {
 class CVC4_PUBLIC EmptySet {
-public:
+ public:
   /**
    * Constructs an emptyset of the specified type. Note that the argument
    * is the type of the set itself, NOT the type of the elements.
    */
   EmptySet(const SetType& setType);
-  ~EmptySet() throw();
+  ~EmptySet();
   EmptySet(const EmptySet& other);
   EmptySet& operator=(const EmptySet& other);
 
   const SetType& getType() const;
-  bool operator==(const EmptySet& es) const throw();
-  bool operator!=(const EmptySet& es) const throw();
-  bool operator<(const EmptySet& es) const throw();
-  bool operator<=(const EmptySet& es) const throw();
-  bool operator>(const EmptySet& es) const throw() ;
-  bool operator>=(const EmptySet& es) const throw();
+  bool operator==(const EmptySet& es) const;
+  bool operator!=(const EmptySet& es) const;
+  bool operator<(const EmptySet& es) const;
+  bool operator<=(const EmptySet& es) const;
+  bool operator>(const EmptySet& es) const;
+  bool operator>=(const EmptySet& es) const;
 
-private:
+ private:
   /** Pointer to the SetType node. This is never NULL. */
   SetType* d_type;