diff options
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; |