diff options
| author | Aina Niemetz <aina.niemetz@gmail.com> | 2018-08-27 17:28:08 -0700 |
|---|---|---|
| committer | Andres Noetzli <andres.noetzli@gmail.com> | 2018-08-27 17:28:08 -0700 |
| commit | fa55d0680afab5d319f393bafd3f7ecdf8870b1f (patch) | |
| tree | 80e7be0751c8675ff18620cea2697b647b411b12 /src/theory/quantifiers/extended_rewrite.h | |
| parent | a442b02d9a695a04f12d58fee71f7e1afbfa1473 (diff) | |
New C++ API: Fix isDefinedKind() to not be ambigious with respect to … (#2384)
…underlying type.
Diffstat (limited to 'src/theory/quantifiers/extended_rewrite.h')
0 files changed, 0 insertions, 0 deletions