From 2c2103711cf6c479f3d0f8f7f358f9cbcdcc765b Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Wed, 26 Sep 2018 18:01:57 -0700 Subject: [PATCH] feat(library/compiler/csimp): we may be able to unfold join point --- src/library/compiler/csimp.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/library/compiler/csimp.cpp b/src/library/compiler/csimp.cpp index 38de99d476..856a142bc0 100644 --- a/src/library/compiler/csimp.cpp +++ b/src/library/compiler/csimp.cpp @@ -507,7 +507,7 @@ class csimp_fn { optional new_jp_opt = mk_new_join_point(x, e, jp, new_jps, new_jp_cache); if (!new_jp_opt) return none_expr(); expr new_jp = *new_jp_opt; - new_minor = mk_app(new_jp, jp_args); + new_minor = visit(mk_app(new_jp, jp_args), false); } else { optional e_y_opt = apply_at(x, e, minor_val); if (!e_y_opt) return none_expr();