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);