1.1 --- a/doc-src/Main/Docs/Main_Doc.thy	Fri Aug 27 00:09:56 2010 +0200
     1.2 +++ b/doc-src/Main/Docs/Main_Doc.thy	Fri Aug 27 12:40:20 2010 +0200
     1.3 @@ -10,9 +10,9 @@
     1.4     Syntax.pretty_typ ctxt T)
     1.5  
     1.6  val _ = Thy_Output.antiquotation "term_type_only" (Args.term -- Args.typ_abbrev)
     1.7 -  (fn {source, context, ...} => fn arg =>
     1.8 -    Thy_Output.output
     1.9 -      (Thy_Output.maybe_pretty_source (pretty_term_type_only context) source [arg]));
    1.10 +  (fn {source, context = ctxt, ...} => fn arg =>
    1.11 +    Thy_Output.output ctxt
    1.12 +      (Thy_Output.maybe_pretty_source pretty_term_type_only ctxt source [arg]));
    1.13  *}
    1.14  (*>*)
    1.15  text{*