From 055a84f1fbebe49ae1b077e199de2f2beeba5280 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ya=C3=ABl=20Dillies?= <yael.dillies@gmail.com>
Date: Sat, 1 Feb 2025 09:33:57 +0000
Subject: [PATCH] fix

---
 Mathlib/Algebra/Ring/NegOnePow.lean | 1 -
 1 file changed, 1 deletion(-)

diff --git a/Mathlib/Algebra/Ring/NegOnePow.lean b/Mathlib/Algebra/Ring/NegOnePow.lean
index 1de416d1d42c5a..194d23e68cc1a4 100644
--- a/Mathlib/Algebra/Ring/NegOnePow.lean
+++ b/Mathlib/Algebra/Ring/NegOnePow.lean
@@ -6,7 +6,6 @@ Authors: Joël Riou, Johan Commelin
 import Mathlib.Algebra.Ring.Int.Parity
 import Mathlib.Algebra.Ring.Int.Units
 import Mathlib.Data.ZMod.IntUnitsPower
-import Mathlib.Tactic.NormNum
 
 /-!
 # Integer powers of (-1)