diff -r 7b98dbc1d13e -r d20ca79d50e4 src/Tools/Code/code_preproc.ML
--- a/src/Tools/Code/code_preproc.ML	Thu Apr 16 15:11:04 2015 +0200
+++ b/src/Tools/Code/code_preproc.ML	Thu Apr 16 15:22:44 2015 +0200
@@ -589,6 +589,6 @@
 
 val _ =
   Outer_Syntax.command @{command_keyword print_codeproc} "print code preprocessor setup"
-    (Scan.succeed (Toplevel.unknown_context o Toplevel.keep (print_codeproc o Toplevel.context_of)));
+    (Scan.succeed (Toplevel.keep (print_codeproc o Toplevel.context_of)));
 
 end; (*struct*)