diff -r f5417836dbea -r 01594f816e3a src/Tools/Code/code_preproc.ML
--- 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)));