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

chore(library/compiler/csimp): remove leftover

Browse source
This commit is contained in:
Leonardo de Moura 2018-09-25 18:52:15 -07:00
parent 8613255ff2
commit 32888b45a8
1 changed files with 0 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -592,7 +592,6 @@ class csimp_fn {
fvars_dep_curr, entries_dep_curr,
fvars_ndep_curr, entries_ndep_curr);
expr new_e = mk_let(fvars_dep_curr, entries_dep_curr, e);
tout() << ">> new_e: " << new_e << "\n";
if (optional<expr> new_e_opt = float_cases_on(fvar, val, new_e)) {
e = *new_e_opt;
fvars = fvars_ndep_curr;