doc-src/Codegen/Thy/Program.thy

--- a/doc-src/Codegen/Thy/Program.thy	Mon May 25 22:14:59 2009 -0700
+++ b/doc-src/Codegen/Thy/Program.thy	Tue May 26 12:31:01 2009 +0200
@@ -204,7 +204,7 @@
   interface.
 
   \noindent The current setup of the preprocessor may be inspected using
-  the @{command print_codesetup} command.
+  the @{command print_codeproc} command.
   @{command code_thms} provides a convenient
   mechanism to inspect the impact of a preprocessor setup
   on code equations.