src/Pure/PIDE/resources.scala
changeset 56314 9a513737a0b2
parent 56209 3c89e21d9be2
child 56315 c20053f67093
     1.1 --- a/src/Pure/PIDE/resources.scala	Sat Mar 29 09:24:39 2014 +0100
     1.2 +++ b/src/Pure/PIDE/resources.scala	Sat Mar 29 09:34:51 2014 +0100
     1.3 @@ -51,7 +51,7 @@
     1.4    /* theory files */
     1.5  
     1.6    def body_files_test(syntax: Outer_Syntax, text: String): Boolean =
     1.7 -    syntax.thy_load_commands.exists({ case (cmd, _) => text.containsSlice(cmd) })
     1.8 +    syntax.load_commands.exists({ case (cmd, _) => text.containsSlice(cmd) })
     1.9  
    1.10    def body_files(syntax: Outer_Syntax, text: String): List[String] =
    1.11    {