diff --git a/Mathlib/Tactic.lean b/Mathlib/Tactic.lean
index 21b6b96358838..988c8521fb620 100644
--- 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