Some minor changes after reviewing the portfolio "unified driver" commit.

(this commit was certified error- and warning-free by the test-and-commit script.)

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 {