1 files changed, 8 insertions, 4 deletions
diff --git a/src/util/sexpr.h b/src/util/sexpr.h
index 9e4ac0837..aabbf473d 100644
--- a/src/util/sexpr.h
+++ b/src/util/sexpr.h
@@ -30,13 +30,15 @@
 #include <string>
 #include <vector>
 
+#include "cvc4_export.h"
 #include "options/language.h"
 #include "util/integer.h"
 #include "util/rational.h"
 
 namespace CVC4 {
 
-class CVC4_PUBLIC SExprKeyword {
+class SExprKeyword
+{
  public:
   SExprKeyword(const std::string& s) : d_str(s) {}
   const std::string& getString() const { return d_str; }
@@ -49,7 +51,8 @@ class CVC4_PUBLIC SExprKeyword {
  * A simple S-expression. An S-expression is either an atom with a
  * string value, or a list of other S-expressions.
  */
-class CVC4_PUBLIC SExpr {
+class CVC4_EXPORT SExpr
+{
  public:
   typedef SExprKeyword Keyword;
 
@@ -231,12 +234,13 @@ class CVC4_PUBLIC SExpr {
 }; /* class SExpr */
 
 /** Prints an SExpr. */
-std::ostream& operator<<(std::ostream& out, const SExpr& sexpr) CVC4_PUBLIC;
+std::ostream& operator<<(std::ostream& out, const SExpr& sexpr) CVC4_EXPORT;
 
 /**
  * IOStream manipulator to pretty-print SExprs.
  */
-class CVC4_PUBLIC PrettySExprs {
+class CVC4_EXPORT PrettySExprs
+{
   /**
    * The allocated index in ios_base for our setting.
    */