src/Pure/Thy/thy_info.ML

 
     val {master = (thy_path, _), imports} = deps;
     val dir = Path.dir thy_path;
     val header = Thy_Header.make (name, pos) imports keywords;
 
-    val _ = Position.reports (map #2 imports ~~ map Theory.get_markup parents);
+    val _ =
+      (imports ~~ parents) |> List.app (fn ((_, pos), thy) =>
+        Context_Position.reports_global thy [(pos, Theory.get_markup thy)]);
 
     val exec_id = Document_ID.make ();
     val _ =
       Execution.running Document_ID.none exec_id [] orelse
         raise Fail ("Failed to register execution: " ^ Document_ID.print exec_id);