# HG changeset patch
# User haftmann
# Date 1260559969 -3600
# Node ID 99eda1d59da9d89d37de5836452658e840d26890
# Parent  93bfbb557e2e5d697588cd1ad67c4724db7a285c
option width for Code_Target.code_of

diff -r 93bfbb557e2e -r 99eda1d59da9 doc-src/more_antiquote.ML
--- a/doc-src/more_antiquote.ML	Fri Dec 11 20:32:49 2009 +0100
+++ b/doc-src/more_antiquote.ML	Fri Dec 11 20:32:49 2009 +0100
@@ -126,7 +126,7 @@
   (fn {context = ctxt, ...} => fn ((mk_cs, mk_stmtss), target) =>
     let val thy = ProofContext.theory_of ctxt in
       Code_Target.code_of thy
-        target "Example" (mk_cs thy)
+        target NONE "Example" (mk_cs thy)
         (fn naming => maps (fn f => f thy naming) mk_stmtss)
       |> typewriter
     end);