Restore accidentally-deleted blank line

mdickinson · mdickinson · commit 0b874993240b · 2026-07-25T11:14:07.000+01:00
diff --git a/Modules/mathintegermodule.c b/Modules/mathintegermodule.c
@@ -184,6 +184,7 @@ of correctness (using Lean) of the algorithm can be found here:
 
     https://github.com/mdickinson/snippets/tree/41ce2d256fef06fb32f24fe7014cfa95173ac5e0/proofs/isqrt
 
+
 Here's Python code equivalent to the C implementation below:
 
     def isqrt(n):
