diff options
author | Tim King <taking@google.com> | 2015-12-24 15:01:52 -0500 |
---|---|---|
committer | Tim King <taking@google.com> | 2015-12-24 15:01:52 -0500 |
commit | 36eb9ee46b9fa3d4b14c943bc2f434663a2844ef (patch) | |
tree | 4314c4e76a9aa1378d1a3c8d28c1547cfcb223a8 /src | |
parent | e9a8aee3aa826700b3985514609afcfa343a05c3 (diff) |
Changing the attribute on the forward declaration of SetType in emptyset.h. This seems to give many fewer warnings.
Diffstat (limited to 'src')
-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 { |