--- a/src/Pure/Isar/isar_syn.ML Tue May 12 17:09:36 2009 +0200
+++ b/src/Pure/Isar/isar_syn.ML Tue May 12 19:30:33 2009 +0200
@@ -881,7 +881,7 @@
(opt_modes -- P.typ >> (Toplevel.no_timing oo IsarCmd.print_type));
val _ =
- OuterSyntax.improper_command "print_codesetup" "print code generator setup of this theory" K.diag
+ OuterSyntax.improper_command "print_codesetup" "print code generator setup" K.diag
(Scan.succeed
(Toplevel.no_timing o Toplevel.unknown_theory o Toplevel.keep
(Code.print_codesetup o Toplevel.theory_of)));