Update releases/v4.16.0.md

Co-authored-by: Joachim Breitner <[email protected]>
leanprover · Feb 3, 2025 · 4fd02e5 · 4fd02e5
1 parent a03038f
commit 4fd02e5
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/releases/v4.16.0.md b/releases/v4.16.0.md
@@ -3,6 +3,7 @@ v4.16.0
 ## Highlights
 
 ### Unique `sorry`s
+
 [#5757](https://github.com/leanprover/lean4/pull/5757) makes it harder to create "fake" theorems about definitions that
 are stubbed-out with `sorry` by ensuring that each `sorry` is not
 definitionally equal to any other. For example, this now fails: