Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/PIDE/headless.scala
changeset 76858 39db5e268aaf
parent 76729 b045b40a65cc
child 76886 f405fcc3db33 
--- a/src/Pure/PIDE/headless.scala	Sun Jan 01 22:01:53 2023 +0100
+++ b/src/Pure/PIDE/headless.scala	Sun Jan 01 22:54:40 2023 +0100
@@ -306,7 +306,7 @@
       val dep_theories_set = dep_theories.toSet
       val dep_files =
         for (path <- dependencies.loaded_files)
-          yield Document.Node.Name(resources.append("", path))
+          yield Document.Node.Name(resources.append_path("", path))
 
       val use_theories_state = {
         val dep_graph = dependencies.theory_graph
isabelle