src/Pure/PIDE/document.ML
changeset 56208 06cc31dff138
parent 55799 a1a8378bda42
child 56447 1e77ed11f2f7
     1.1 --- a/src/Pure/PIDE/document.ML	Tue Mar 18 16:45:14 2014 +0100
     1.2 +++ b/src/Pure/PIDE/document.ML	Tue Mar 18 17:39:03 2014 +0100
     1.3 @@ -443,7 +443,7 @@
     1.4                  NONE => Toplevel.toplevel
     1.5                | SOME eval => Command.eval_result_state eval)));
     1.6      val _ = Position.reports (map #2 imports ~~ map Theory.get_markup parents);
     1.7 -  in Thy_Load.begin_theory master_dir header parents end;
     1.8 +  in Resources.begin_theory master_dir header parents end;
     1.9  
    1.10  fun check_theory full name node =
    1.11    is_some (loaded_theory name) orelse