From 68a158aa5c7718af8fd7aeab704f2f110fae6bdb Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Henrik=20B=C3=B6ving?= <hargonix@gmail.com>
Date: Wed, 30 Oct 2024 22:14:42 +0100
Subject: [PATCH] Update Mathlib/Tactic.lean

Co-authored-by: github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com>
---
 Mathlib/Tactic.lean | 1 -
 1 file changed, 1 deletion(-)

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