From 14d4ae7e970be634bc08ef8652de285ab309f9de Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Wed, 6 Jan 2016 17:29:54 -0800 Subject: [PATCH] chore(library/blast/simplifier/simplifier): remove dead variable --- src/library/blast/simplifier/simplifier.cpp | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/src/library/blast/simplifier/simplifier.cpp b/src/library/blast/simplifier/simplifier.cpp index 83182ac52..3d33f1c2a 100644 --- a/src/library/blast/simplifier/simplifier.cpp +++ b/src/library/blast/simplifier/simplifier.cpp @@ -807,9 +807,8 @@ optional 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 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: