fix whitespace

leanprover-community · Jan 18, 2025 · f660f31 · f660f31
1 parent f5c6686
commit f660f31
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/Mathlib/Algebra/Order/Round.lean b/Mathlib/Algebra/Order/Round.lean
@@ -6,7 +6,6 @@ Authors: Mario Carneiro, Kevin Kappelmann
 import Mathlib.Algebra.Order.Floor
 import Mathlib.Algebra.Order.Interval.Set.Group
 
-
 /-!
 # Rounding