diff options
author | Morgan Deters <mdeters@gmail.com> | 2012-09-08 22:31:44 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2012-09-08 22:31:44 +0000 |
commit | 480d440174c565bec9aba412c0d35221c9169ff6 (patch) | |
tree | 12048b5ba5d9717d6770b5d89de23d9c7048a981 /src/expr/command.h | |
parent | cfa9e2cbbdf77a325791b5548b41093a0781311c (diff) |
Some minor changes after reviewing the portfolio "unified driver" commit.
(this commit was certified error- and warning-free by the test-and-commit script.)
Diffstat (limited to 'src/expr/command.h')
-rw-r--r-- | src/expr/command.h | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/src/expr/command.h b/src/expr/command.h index 3c919c374..70e71a111 100644 --- a/src/expr/command.h +++ b/src/expr/command.h @@ -50,13 +50,12 @@ 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 ExportToUnsupportedException : public Exception { +class CVC4_PUBLIC ExportToUnsupportedException : public Exception { public: ExportToUnsupportedException() throw() : Exception("exportTo unsupported for command") { } -};/* class NoMoreValuesException */ - +};/* class ExportToUnsupportedException */ /** The status an SMT benchmark can have */ enum BenchmarkStatus { |