Update Mathlib/Tactic.lean

Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>
leanprover-community · Oct 30, 2024 · 68a158a · 68a158a
1 parent bfb2013
commit 68a158a
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/Mathlib/Tactic.lean b/Mathlib/Tactic.lean
@@ -260,4 +260,3 @@ import Mathlib.Tactic.Widget.SelectInsertParamsClass
 import Mathlib.Tactic.Widget.SelectPanelUtils
 import Mathlib.Tactic.Widget.StringDiagram
 import Mathlib.Tactic.Zify
-import Plausible.Tactic