# HG changeset patch
# User haftmann
# Date 1212131864 -7200
# Node ID c1f9fb015ea541a02224b51f26c6bb2daac966ae
# Parent  fcab2dd468721323af0052e722f0e1c0c9b957f8
(adjusted)

diff -r fcab2dd46872 -r c1f9fb015ea5 doc-src/IsarAdvanced/Codegen/Thy/Codegen.thy
--- 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;
 *}
 
 (*>*)