projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e9a8aee) | patch
Changing the attribute on the forward declaration of SetType in emptyset.h. This...
authorTim King <taking@google.com>
Thu, 24 Dec 2015 20:01:52 +0000 (15:01 -0500)
committerTim King <taking@google.com>
Thu, 24 Dec 2015 20:01:52 +0000 (15:01 -0500)
commit36eb9ee46b9fa3d4b14c943bc2f434663a2844ef
tree4314c4e76a9aa1378d1a3c8d28c1547cfcb223a8tree
parente9a8aee3aa826700b3985514609afcfa343a05c3commit | diff
Changing the attribute on the forward declaration of SetType in emptyset.h. This seems to give many fewer warnings.
src/expr/emptyset.h diff | blob | history