From 66fe6463fe5262d2e5afc9b3dcf4a67f14493cd3 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Thu, 4 Oct 2018 15:22:03 -0700 Subject: [PATCH] fix(library/compiler/csimp): missing `mk_let` --- 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 497c1e4725..673dc2b86c 100644 --- a/src/library/compiler/csimp.cpp +++ b/src/library/compiler/csimp.cpp @@ -1035,7 +1035,7 @@ public: expr operator()(expr const & e) { expr r = visit(e, false); - return m_lctx.mk_lambda(m_fvars, r); + return mk_let(0, r); } }; expr csimp(environment const & env, local_ctx const & lctx, expr const & e, csimp_cfg const & cfg) {