src/HOL/Tools/Sledgehammer/sledgehammer_proof.ML

--- a/src/HOL/Tools/Sledgehammer/sledgehammer_proof.ML	Tue Nov 19 18:34:04 2013 +0100
+++ b/src/HOL/Tools/Sledgehammer/sledgehammer_proof.ML	Tue Nov 19 18:38:25 2013 +0100
@@ -67,7 +67,7 @@
 
   structure Canonical_Lbl_Tab : TABLE
 
-end
+end;
 
 structure Sledgehammer_Proof : SLEDGEHAMMER_PROOF =
 struct
@@ -196,4 +196,4 @@
     fst (do_proof proof (0, []))
   end
 
-end
+end;