diff options
author | Andres Noetzli <andres.noetzli@gmail.com> | 2019-04-30 04:12:47 -0700 |
---|---|---|
committer | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2019-04-30 06:12:47 -0500 |
commit | 6538957335ecf83af38150054cf80555a57e72d0 (patch) | |
tree | f0808d70a16f9282e894c588c11a8aa4d41603e6 /examples | |
parent | 19a93d5e0f924c70e7f77719e0310c730c8fbc61 (diff) |
Fix use of APPLY kind in examples (#2984)
Diffstat (limited to 'examples')
-rw-r--r-- | examples/sets-translate/sets_translate.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/examples/sets-translate/sets_translate.cpp b/examples/sets-translate/sets_translate.cpp index 204a13583..f7513a401 100644 --- a/examples/sets-translate/sets_translate.cpp +++ b/examples/sets-translate/sets_translate.cpp @@ -204,7 +204,7 @@ class Mapper { } else { vector<Expr> children = e.getChildren(); children.insert(children.begin(), setoperators[ make_pair(t, e.getKind()) ]); - ret = em->mkExpr(kind::APPLY, children); + ret = em->mkExpr(kind::APPLY_UF, children); } // cout << "returning " << ret << endl; return ret; |