michael/lean2
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

chore(library/blast/simplifier/simplifier): remove dead variable

Browse source
This commit is contained in:
Leonardo de Moura 2016-01-06 17:29:54 -08:00
parent 9fa1a7a01c
commit 14d4ae7e97
1 changed files with 2 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
src/library/blast/simplifier/simplifier.cpp
View file

@ -807,9 +807,8 @@ optional<result> simplifier::synth_congr(expr const & e, F && simp) {
expr proof = congr_lemma->get_proof();
expr type = congr_lemma->get_type();
unsigned i = 0;
bool has_proof = false;
bool has_cast = false;
buffer<expr> locals;
bool has_proof = false;
bool has_cast = false;
for_each(congr_lemma->get_arg_kinds(), [&](congr_arg_kind const & ckind) {
switch (ckind) {
case congr_arg_kind::Fixed: