changeset 36960 | 01594f816e3a |
parent 36610 | bafd82950e24 |
child 37384 | 5aba26803073 |
--- a/src/Tools/Code/code_preproc.ML Mon May 17 15:11:25 2010 +0200 +++ b/src/Tools/Code/code_preproc.ML Mon May 17 23:54:15 2010 +0200 @@ -479,8 +479,8 @@ end; val _ = - OuterSyntax.improper_command "print_codeproc" "print code preprocessor setup" - OuterKeyword.diag (Scan.succeed + Outer_Syntax.improper_command "print_codeproc" "print code preprocessor setup" + Keyword.diag (Scan.succeed (Toplevel.no_timing o Toplevel.unknown_theory o Toplevel.keep (print_codeproc o Toplevel.theory_of)));