diff options
Diffstat (limited to 'src/options/options.h')
-rw-r--r-- | src/options/options.h | 10 |
1 files changed, 1 insertions, 9 deletions
diff --git a/src/options/options.h b/src/options/options.h index a3abdd54b..c966670f5 100644 --- a/src/options/options.h +++ b/src/options/options.h @@ -25,7 +25,7 @@ #include <fstream> #include <string> -#include "util/exception.h" +#include "options/option_exception.h" #include "util/language.h" #include "util/tls.h" @@ -40,14 +40,6 @@ class NodeManager; class NodeManagerScope; class SmtEngine; -/** Class representing an option-parsing exception. */ -class CVC4_PUBLIC OptionException : public CVC4::Exception { -public: - OptionException(const std::string& s) throw() : - CVC4::Exception("Error in option parsing: " + s) { - } -};/* class OptionException */ - class CVC4_PUBLIC Options { /** The struct that holds all option values. */ options::OptionsHolder* d_holder; |