diff -r ab94035ba6ea -r 1a52baa70aed src/HOL/Hoare_Parallel/OG_Syntax.thy
--- a/src/HOL/Hoare_Parallel/OG_Syntax.thy	Wed Oct 31 15:50:45 2018 +0100
+++ b/src/HOL/Hoare_Parallel/OG_Syntax.thy	Wed Oct 31 15:53:32 2018 +0100
@@ -122,7 +122,7 @@
     (@{const_syntax AnnAwait}, K (annbexp_tr' @{syntax_const "_AnnAwait"})),
     (@{const_syntax AnnCond1}, K (annbexp_tr' @{syntax_const "_AnnCond1"})),
     (@{const_syntax AnnCond2}, K (annbexp_tr' @{syntax_const "_AnnCond2"}))]
-  end;
+  end
 \<close>
 
 end