
diff -r afca6a99a361 -r 994055f7db80 src/HOL/Spec_Check/Spec_Check.thy
--- a/src/HOL/Spec_Check/Spec_Check.thy	Thu May 30 20:57:55 2013 +0200
+++ b/src/HOL/Spec_Check/Spec_Check.thy	Thu May 30 21:28:54 2013 +0200
@@ -9,7 +9,6 @@
 ML_file "gen_construction.ML"
 ML_file "spec_check.ML"
 ML_file "output_style.ML"
-
-setup {* Perl_Style.setup #> CMStyle.setup *}
+setup Output_Style.setup
 
 end
\ No newline at end of file




