--- a/doc-src/IsarAdvanced/Codegen/Thy/Codegen.thy Fri May 30 08:02:19 2008 +0200
+++ b/doc-src/IsarAdvanced/Codegen/Thy/Codegen.thy Fri May 30 09:17:44 2008 +0200
@@ -8,7 +8,7 @@
begin
ML {*
-CodeTarget.code_width := 74;
+CodeTarget.target_code_width := 74;
*}
(*>*)