diff options
-rw-r--r-- | src/expr/emptyset.h | 2 |
1 files changed, 1 insertions, 1 deletions
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 { |