From 36eb9ee46b9fa3d4b14c943bc2f434663a2844ef Mon Sep 17 00:00:00 2001 From: Tim King Date: Thu, 24 Dec 2015 15:01:52 -0500 Subject: [PATCH] Changing the attribute on the forward declaration of SetType in emptyset.h. This seems to give many fewer warnings. --- src/expr/emptyset.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 { -- 2.30.2