1 files changed, 5 insertions, 4 deletions
diff --git a/src/expr/array_store_all.h b/src/expr/array_store_all.h
index b47b19d5f..dac967668 100644
--- a/src/expr/array_store_all.h
+++ b/src/expr/array_store_all.h
@@ -32,7 +32,8 @@ class NodeTemplate;
 typedef NodeTemplate<true> Node;
 class TypeNode;
 
-class CVC4_PUBLIC ArrayStoreAll {
+class ArrayStoreAll
+{
  public:
   /**
    * @throws IllegalArgumentException if `type` is not an array or if `expr` is
@@ -59,13 +60,13 @@ class CVC4_PUBLIC ArrayStoreAll {
   std::unique_ptr<Node> d_value;
 }; /* class ArrayStoreAll */
 
-std::ostream& operator<<(std::ostream& out,
-                         const ArrayStoreAll& asa) CVC4_PUBLIC;
+std::ostream& operator<<(std::ostream& out, const ArrayStoreAll& asa);
 
 /**
  * Hash function for the ArrayStoreAll constants.
  */
-struct CVC4_PUBLIC ArrayStoreAllHashFunction {
+struct ArrayStoreAllHashFunction
+{
   size_t operator()(const ArrayStoreAll& asa) const;
 }; /* struct ArrayStoreAllHashFunction */