diff -r a98cd7450204 -r d8549f4d900b doc-src/IsarAdvanced/Codegen/Thy/Codegen.thy
--- a/doc-src/IsarAdvanced/Codegen/Thy/Codegen.thy	Tue Jun 10 15:30:01 2008 +0200
+++ b/doc-src/IsarAdvanced/Codegen/Thy/Codegen.thy	Tue Jun 10 15:30:06 2008 +0200
@@ -7,9 +7,7 @@
 uses "../../../antiquote_setup.ML"
 begin
 
-ML {*
-CodeTarget.target_code_width := 74;
-*}
+ML {* CodeTarget.code_width := 74 *}
 
 (*>*)