From: Tim King <taking@google.com>
Date: Thu, 24 Dec 2015 20:01:52 +0000 (-0500)
Subject: Changing the attribute on the forward declaration of SetType in emptyset.h. This... 
X-Git-Tag: cvc5-1.0.0~6127
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=36eb9ee46b9fa3d4b14c943bc2f434663a2844ef;p=cvc5.git

Changing the attribute on the forward declaration of SetType in emptyset.h. This seems to give many fewer warnings.
---

diff --git a/src/expr/emptyset.h b/src/expr/emptyset.h
index e5eada731..cf9d050f8 100644
--- 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 {