Remove a superfluous empty line

input-output-hk · Nov 28, 2023 · 5d113a4 · 5d113a4
1 parent 0747135
commit 5d113a4
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/src/Ouroboros-Mini_Protocols-Chain_Sync.thy b/src/Ouroboros-Mini_Protocols-Chain_Sync.thy
@@ -270,7 +270,6 @@ proof
       )
   ultimately show "program p \<Colon>\<^bsub>p\<^esub> Cont possibilities" for p
     by (cases p) simp_all
-
 qed
 
 subsection \<open>The End\<close>