src/Pure/PIDE/command.scala
changeset 68307 d575281e18d0
parent 68119 ce7f35406f37
child 68324 bf7336731981
     1.1 --- a/src/Pure/PIDE/command.scala	Mon May 28 13:35:43 2018 +0200
     1.2 +++ b/src/Pure/PIDE/command.scala	Mon May 28 17:40:34 2018 +0200
     1.3 @@ -511,7 +511,7 @@
     1.4                  val qualifier = resources.session_base.theory_qualifier(node_name)
     1.5                  val dir = node_name.master_dir
     1.6                  for {
     1.7 -                  (_, known_name) <- resources.session_base.known.theories.toList
     1.8 +                  known_name <- resources.session_base.known.theory_names
     1.9                    if completed(known_name.theory_base_name)
    1.10                  }
    1.11                  yield {