src/HOL/Hoare_Parallel/OG_Com.thy

--- a/src/HOL/Hoare_Parallel/OG_Com.thy	Tue Feb 23 15:37:18 2016 +0100
+++ b/src/HOL/Hoare_Parallel/OG_Com.thy	Tue Feb 23 16:25:08 2016 +0100
@@ -47,4 +47,4 @@
 | "atom_com (Cond b c1 c2) = (atom_com c1 \<and> atom_com c2)"
 | "atom_com (While b i c) = atom_com c"
 
-end
\ No newline at end of file
+end