doc-src/Codegen/Thy/Setup.thy

--- a/doc-src/Codegen/Thy/Setup.thy	Fri Dec 11 14:44:08 2009 +0100
+++ b/doc-src/Codegen/Thy/Setup.thy	Fri Dec 11 20:32:49 2009 +0100
@@ -9,7 +9,8 @@
   ["Efficient_Nat", "Code_Char_chr", "Product_ord", "~~/src/HOL/Imperative_HOL/Imperative_HOL",
    "~~/src/HOL/Decision_Procs/Ferrack"] *}
 
-ML_command {* Code_Target.code_width := 74 *}
+setup {* Code_Target.set_default_code_width 74 *}
+
 ML_command {* Unsynchronized.reset unique_names *}
 
 end