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 72799 5dc7165e8a26
parent 72772 a9ef39041114
child 72816 ea4f86914cb2 
--- a/src/Pure/PIDE/headless.scala	Mon Nov 30 22:00:23 2020 +0000
+++ b/src/Pure/PIDE/headless.scala	Tue Dec 01 16:07:19 2020 +0100
@@ -256,7 +256,7 @@
       val dep_theories = dependencies.theories
       val dep_theories_set = dep_theories.toSet
       val dep_files =
-        dependencies.loaded_files(false).flatMap(_._2).
+        dependencies.loaded_files.flatMap(_._2).
           map(path => Document.Node.Name(resources.append("", path)))
 
       val use_theories_state =
isabelle