--- a/src/Pure/PIDE/resources.scala Mon Dec 31 20:13:36 2018 +0100
+++ b/src/Pure/PIDE/resources.scala Mon Dec 31 21:12:22 2018 +0100
@@ -345,7 +345,7 @@
graph2.map_node(name, _ => syntax)
})
- def loaded_files(is_pure: Boolean): List[(String, List[Path])] =
+ def loaded_files(pure: Boolean): List[(String, List[Path])] =
{
val loaded_files =
theories.map(_.theory) zip
@@ -353,7 +353,7 @@
theories.map(name =>
resources.loaded_files(loaded_theories.get_node(name.theory), name)))
- if (is_pure) {
+ if (pure) {
val pure_files = resources.pure_files(overall_syntax)
loaded_files.map({ case (name, files) =>
(name, if (name == Thy_Header.PURE) pure_files ::: files else files) })