tuned;
authorwenzelm
Wed Sep 27 11:11:07 2017 +0200 (19 months ago)
changeset 66697190834aa43a7
parent 66696 8f863dae78a0
child 66698 5b9dc3f7bcde
tuned;
src/Pure/PIDE/resources.scala
     1.1 --- a/src/Pure/PIDE/resources.scala	Tue Sep 26 22:30:54 2017 +0200
     1.2 +++ b/src/Pure/PIDE/resources.scala	Wed Sep 27 11:11:07 2017 +0200
     1.3 @@ -72,14 +72,14 @@
     1.4    def pure_files(syntax: Outer_Syntax, session: String, dir: Path): List[Path] =
     1.5      if (Sessions.is_pure(session)) {
     1.6        val roots =
     1.7 -        for { (name, theory) <- Thy_Header.ml_roots }
     1.8 -        yield ((dir + Path.explode(name)).expand, theory)
     1.9 +        for { (name, _) <- Thy_Header.ml_roots }
    1.10 +        yield (dir + Path.explode(name)).expand
    1.11        val files =
    1.12          for {
    1.13 -          (path, theory) <- roots
    1.14 +          (path, (_, theory)) <- roots zip Thy_Header.ml_roots
    1.15            file <- loaded_files(syntax, Document.Node.Name(path.implode, path.dir.implode, theory))
    1.16          } yield file
    1.17 -      roots.map(_._1) ::: files
    1.18 +      roots ::: files
    1.19      }
    1.20      else Nil
    1.21