Changing the attribute on the forward declaration of SetType in emptyset.h. This...

diff --git a/src/expr/emptyset.h b/src/expr/emptyset.h
index e5eada7313e054c8c092e8058d814ddffca6c4ca..cf9d050f889b4a2209de7171d9590a08a4d24f68 100644 (file)
--- a/src/expr/emptyset.h
+++ b/src/expr/emptyset.h
@@ -28,7 +28,7 @@ namespace CVC4 {
   // order to break the build cycle.
   // Uses of SetType need to be as an incomplete type throughout
   // this header.
-  class CVC4_PUBLIC SetType;
+  class SetType;
 }/* CVC4 namespace */
 
 namespace CVC4 {