src/Pure/PIDE/headless.scala

--- a/src/Pure/PIDE/headless.scala	Tue Jan 03 16:14:17 2023 +0100
+++ b/src/Pure/PIDE/headless.scala	Tue Jan 03 16:53:43 2023 +0100
@@ -304,9 +304,7 @@
       }
       val dep_theories = dependencies.theories
       val dep_theories_set = dep_theories.toSet
-      val dep_files =
-        for (path <- dependencies.loaded_files)
-          yield Document.Node.Name(resources.append_path("", path))
+      val dep_files = dependencies.loaded_files
 
       val use_theories_state = {
         val dep_graph = dependencies.theory_graph