# HG changeset patch
# User wenzelm
# Date 1546287142 -3600
# Node ID f71eb0cf8da72687ec0873acf1914dc2c6069f88
# Parent  195371990820547ab55ecd8d14e91ffbd3140983
tuned signature;

diff -r 195371990820 -r f71eb0cf8da7 src/Pure/PIDE/resources.scala
--- 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) })