src/Doc/antiquote_setup.ML
changeset 56208 06cc31dff138
parent 56185 851c7b05eb92
child 56275 600f432ab556
     1.1 --- a/src/Doc/antiquote_setup.ML	Tue Mar 18 16:45:14 2014 +0100
     1.2 +++ b/src/Doc/antiquote_setup.ML	Tue Mar 18 17:39:03 2014 +0100
     1.3 @@ -152,7 +152,7 @@
     1.4  val _ =
     1.5    Theory.setup (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 => (Resources.check_thy Path.current name; Thy_Output.output ctxt [Pretty.str name])));
     1.9  
    1.10  
    1.11  (* Isabelle/jEdit elements *)