Support setting :regular-output-channel and :diagnostic-output-channel.

Also some cleanup of option-related exceptions infrastructure.

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;