From e49dfccc2a36124723b1c568e5c587e9bbd1ad3b Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Mon, 10 May 2021 13:41:55 -0700 Subject: [PATCH] chore: remove dead variable --- src/Lean/Elab/Tactic/Rewrite.lean | 1 - 1 file changed, 1 deletion(-) diff --git a/src/Lean/Elab/Tactic/Rewrite.lean b/src/Lean/Elab/Tactic/Rewrite.lean index 809c8c9d94..98f218f038 100644 --- a/src/Lean/Elab/Tactic/Rewrite.lean +++ b/src/Lean/Elab/Tactic/Rewrite.lean @@ -50,7 +50,6 @@ def evalRewriteCore (mode : TransparencyMode) : Tactic := fun stx => do let loc := expandOptLocation stx[2] -- show initial state up to (incl.) `[` withTacticInfoContext (mkNullNode #[token, lbrak]) (pure ()) - let mut newTacs := #[] let numRules := (rules.size + 1) / 2 for i in [:numRules] do let rule := rules[i * 2]