
diff -r d54dc8956d48 -r 03a35fbc9dc6 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.




