diff options
| author | Andres Noetzli <andres.noetzli@gmail.com> | 2020-07-16 23:58:59 -0700 |
|---|---|---|
| committer | Andres Noetzli <andres.noetzli@gmail.com> | 2020-07-16 23:58:59 -0700 |
| commit | 8a279c8f16170d22e8e64e9eadbec184a1ce2f11 (patch) | |
| tree | 0544c6de83103748f3b1875f26895309c837b5e1 /src/parser/smt2/sygus_input.h | |
| parent | 81821f40c36a6ccbee4bf6ef500cd5dccacb634c (diff) | |
Fix Clang warnings
This commit addresses warnings that we are getting with Clang 10.0.0.
Most of the warnings are related to unused private fields and mismatched
types when using range-based for loops (resulting in unnecessary
copies).
Diffstat (limited to 'src/parser/smt2/sygus_input.h')
0 files changed, 0 insertions, 0 deletions