max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2

fix(library/compiler/csimp): missing mk_let

Browse source
This commit is contained in:
Leonardo de Moura 2018-10-04 15:22:03 -07:00
parent 78842d4b9b
commit 66fe6463fe
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/library/compiler/csimp.cpp
View file

@ -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) {