src/Pure/Thy/thy_output.ML

     [Pretty.big_list "document antiquotations:" (map Pretty.mark_str command_names),
       Pretty.big_list "document antiquotation options:" (map Pretty.mark_str option_names)]
     |> Pretty.chunks |> Pretty.writeln
   end;
 
-fun antiquotation name scan out =
+fun antiquotation name scan body =
   add_command name
     (fn src => fn state => fn ctxt =>
       let val (x, ctxt') = Args.syntax scan src ctxt
-      in out {source = src, state = state, context = ctxt'} x end);
+      in body {source = src, state = state, context = ctxt'} x end);
 
 
 
 (** syntax of antiquotations **)