src/Pure/PIDE/document.ML
changeset 60937 51425cbe8ce9
parent 60880 fa958e24ff24
child 61077 06cca32aa519
     1.1 --- a/src/Pure/PIDE/document.ML	Sat Aug 15 19:11:11 2015 +0200
     1.2 +++ b/src/Pure/PIDE/document.ML	Sat Aug 15 19:42:35 2015 +0200
     1.3 @@ -544,7 +544,7 @@
     1.4          |> Option.map (fn thy => (thy, (pos, Theory.get_markup thy))));
     1.5  
     1.6      val parents =
     1.7 -      if null parents_reports then [Thy_Info.get_theory "Pure"] else map #1 parents_reports;
     1.8 +      if null parents_reports then [Thy_Info.pure_theory ()] else map #1 parents_reports;
     1.9      val _ = Position.reports (map #2 parents_reports);
    1.10    in Resources.begin_theory master_dir header parents end;
    1.11