--- a/src/Pure/PIDE/document.ML Sat Aug 15 19:11:11 2015 +0200
+++ b/src/Pure/PIDE/document.ML Sat Aug 15 19:42:35 2015 +0200
@@ -544,7 +544,7 @@
|> Option.map (fn thy => (thy, (pos, Theory.get_markup thy))));
val parents =
- if null parents_reports then [Thy_Info.get_theory "Pure"] else map #1 parents_reports;
+ if null parents_reports then [Thy_Info.pure_theory ()] else map #1 parents_reports;
val _ = Position.reports (map #2 parents_reports);
in Resources.begin_theory master_dir header parents end;