diff options
| author | Andres Noetzli <andres.noetzli@gmail.com> | 2019-04-30 00:46:28 -0700 |
|---|---|---|
| committer | Andres Noetzli <andres.noetzli@gmail.com> | 2019-04-30 00:46:28 -0700 |
| commit | 6ebd861ce031c7bf6e2e6ae34c920bdb2bfddbdf (patch) | |
| tree | f0808d70a16f9282e894c588c11a8aa4d41603e6 /cvc4autoconfig.h.in | |
| parent | 19a93d5e0f924c70e7f77719e0310c730c8fbc61 (diff) | |
Fix use of APPLY kind in examplesfixExamples
19a93d5e0f924c70e7f77719e0310c730c8fbc61 removed `kind::APPLY` but there
was a remaining use in the sets_translate example. This commit changes
that occurrence to a `kind::APPLY_UF`.
Diffstat (limited to 'cvc4autoconfig.h.in')
0 files changed, 0 insertions, 0 deletions