chore: remove unnecessary whitespace

wkrozowski · wkrozowski · commit 39721e1e98ab · 2025-09-22T20:35:58.000+01:00
diff --git a/LeroyCompilerVerificationCourse/Fixpoints.lean b/LeroyCompilerVerificationCourse/Fixpoints.lean
@@ -357,7 +357,6 @@ theorem fixpoint_join_smallest :
     · unfold fixpoint_join
       dsimp
 
-
 /-
   Now we can try to use the `fixpoint_join` function above in the `Cexec`
   static analyzer. Howver, we need to simulateneously define the `Cexec` function, while
