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/resources.scala
changeset 72757 38e05b7ded61
parent 72756 72ac27ea12b2
child 72760 042180540068 
--- a/src/Pure/PIDE/resources.scala	Sat Nov 28 15:17:14 2020 +0100
+++ b/src/Pure/PIDE/resources.scala	Sat Nov 28 15:53:46 2020 +0100
@@ -121,7 +121,7 @@
         val dir = Path.explode(name.master_dir)
         (for {
           span <- spans.iterator
-          file <- span.loaded_files(syntax)._1
+          file <- span.loaded_files(syntax).files
         } yield (dir + Path.explode(file)).expand).toList
       }
       else Nil
isabelle