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/theory/theory_test_utils.h | |
| 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/theory/theory_test_utils.h')
0 files changed, 0 insertions, 0 deletions