diff options
Diffstat (limited to 'src/expr/command.h')
-rw-r--r-- | src/expr/command.h | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/src/expr/command.h b/src/expr/command.h index 5786f4e71..e120deed6 100644 --- a/src/expr/command.h +++ b/src/expr/command.h @@ -50,13 +50,6 @@ std::ostream& operator<<(std::ostream&, const Command*) throw() CVC4_PUBLIC; std::ostream& operator<<(std::ostream&, const CommandStatus&) throw() CVC4_PUBLIC; std::ostream& operator<<(std::ostream&, const CommandStatus*) throw() CVC4_PUBLIC; -class CVC4_PUBLIC ExportToUnsupportedException : public Exception { -public: - ExportToUnsupportedException() throw() : - Exception("exportTo unsupported for command") { - } -};/* class ExportToUnsupportedException */ - /** The status an SMT benchmark can have */ enum BenchmarkStatus { /** Benchmark is satisfiable */ |