diff --git a/Mathlib/Testing/Plausible/Functions.lean b/Mathlib/Testing/Plausible/Functions.lean
index 8640cf629b5e3..0599f83b053c8 100644
--- a/Mathlib/Testing/Plausible/Functions.lean
+++ b/Mathlib/Testing/Plausible/Functions.lean
@@ -6,7 +6,6 @@ Authors: Simon Hudon
 import Mathlib.Algebra.Order.Group.Nat
 import Mathlib.Data.Int.Range
 import Mathlib.Data.List.Perm.Lattice
-import Mathlib.Data.List.Range
 import Mathlib.Data.List.Sigma
 import Plausible.Functions