diff --git a/Mathlib/Order/SuccPred/LinearLocallyFinite.lean b/Mathlib/Order/SuccPred/LinearLocallyFinite.lean
index eb6e8f5d04a91f..b531ef801dbeff 100644
--- a/Mathlib/Order/SuccPred/LinearLocallyFinite.lean
+++ b/Mathlib/Order/SuccPred/LinearLocallyFinite.lean
@@ -55,8 +55,7 @@ About `toZ`:
 
 -/
 
-@[expose] public section
-
+public section
 
 open Order