--- a/doc-src/IsarAdvanced/Codegen/Thy/Codegen.thy Fri Jan 05 14:30:08 2007 +0100
+++ b/doc-src/IsarAdvanced/Codegen/Thy/Codegen.thy Fri Jan 05 14:31:44 2007 +0100
@@ -8,7 +8,7 @@
begin
ML {*
-CodegenSerializer.sml_code_width := 74;
+CodegenSerializer.code_width := 74;
*}
(*>*)