1.1 --- a/doc-src/antiquote_setup.ML	Tue Aug 21 20:32:33 2012 +0200
     1.2 +++ b/doc-src/antiquote_setup.ML	Tue Aug 21 21:25:45 2012 +0200
     1.3 @@ -135,7 +135,7 @@
     1.4  val thy_file_setup =
     1.5    Thy_Output.antiquotation @{binding thy_file} (Scan.lift Args.name)
     1.6      (fn {context = ctxt, ...} =>
     1.7 -      fn name => (Thy_Load.check_thy Path.current name; Thy_Output.output ctxt [Pretty.str name]));
     1.8 +      fn name => (Thy_Load.check_thy [] Path.current name; Thy_Output.output ctxt [Pretty.str name]));
     1.9  
    1.10  
    1.11  (* Isabelle/Isar entities (with index) *)