src/Pure/Thy/thy_info.scala

--- a/src/Pure/Thy/thy_info.scala	Wed Sep 27 11:11:07 2017 +0200
+++ b/src/Pure/Thy/thy_info.scala	Wed Sep 27 11:29:50 2017 +0200
@@ -90,8 +90,8 @@
 
     def loaded_files: List[Path] =
     {
-      val dep_files =
-        Par_List.map((dep: Thy_Info.Dep) => resources.loaded_files(syntax, dep.name), rev_deps)
+      val parses = rev_deps.map(dep => resources.loaded_files(syntax, dep.name))
+      val dep_files = Par_List.map((parse: () => List[Path]) => parse(), parses)
       ((Nil: List[Path]) /: dep_files) { case (acc_files, files) => files ::: acc_files }
     }