some fixes and organizational adjustments to assert code, parsers/lexers, and build process

1 files changed, 1 insertions, 11 deletions

diff --git a/src/util/exception.h b/src/util/exception.h
index 164cda8b5..d239f48de 100644
--- a/src/util/exception.h
+++ b/src/util/exception.h
@@ -31,7 +31,7 @@ public:
   Exception(const char* msg) : d_msg(msg) {}
   // Destructor
   virtual ~Exception() {}
-  // NON-VIRTUAL METHODs for setting and printing the error message
+  // NON-VIRTUAL METHOD for setting and printing the error message
   void setMessage(const std::string& msg) { d_msg = msg; }
   // Printing: feel free to redefine toString().  When inherited,
   // it's recommended that this method print the type of exception
@@ -41,20 +41,10 @@ public:
   friend std::ostream& operator<<(std::ostream& os, const Exception& e);
 };/* class Exception */
 
-
-class CVC4_PUBLIC IllegalArgumentException : public Exception {
-public:
-  IllegalArgumentException() : Exception("Illegal argument to method or function") {}
-  IllegalArgumentException(const std::string& msg) : Exception(msg) {}
-  IllegalArgumentException(const char* msg) : Exception(msg) {}
-};/* class IllegalArgumentException */
-
-
 inline std::ostream& operator<<(std::ostream& os, const Exception& e) {
   return os << e.toString();
 }
 
-
 }/* CVC4 namespace */
 
 #endif /* __CVC4__EXCEPTION_H */