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 /src/parser/smt/smt_input.cpp | |
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 'src/parser/smt/smt_input.cpp')
0 files changed, 0 insertions, 0 deletions