diff -r beb4ee344c22 -r 787d04a7c2d5 src/Tools/Spec_Check/Spec_Check.thy
--- a/src/Tools/Spec_Check/Spec_Check.thy	Fri Aug 23 12:40:55 2013 +0200
+++ b/src/Tools/Spec_Check/Spec_Check.thy	Fri Aug 23 12:43:16 2013 +0200
@@ -9,6 +9,5 @@
 ML_file "gen_construction.ML"
 ML_file "spec_check.ML"
 ML_file "output_style.ML"
-setup Output_Style.setup
 
 end
\ No newline at end of file