src/Pure/PIDE/resources.scala
changeset 65355 403eabd73c9a
parent 65255 d388e63a46fc
child 65357 9a2c266f97c8
     1.1 --- a/src/Pure/PIDE/resources.scala	Sat Apr 01 23:48:28 2017 +0200
     1.2 +++ b/src/Pure/PIDE/resources.scala	Mon Apr 03 12:41:06 2017 +0200
     1.3 @@ -88,7 +88,7 @@
     1.4      (base.known_theories.get(thy1) orElse
     1.5       base.known_theories.get(thy2) orElse
     1.6       base.known_theories.get(Long_Name.base_name(thy1))) match {
     1.7 -      case Some(name) if base.loaded_theories(name.theory) => dummy_name(name.theory)
     1.8 +      case Some(name) if base.loaded_theory(name) => dummy_name(name.theory)
     1.9        case Some(name) => name
    1.10        case None =>
    1.11          val path = Path.explode(s)
    1.12 @@ -155,7 +155,7 @@
    1.13    def undefined_blobs(nodes: Document.Nodes): List[Document.Node.Name] =
    1.14      (for {
    1.15        (node_name, node) <- nodes.iterator
    1.16 -      if !base.loaded_theories(node_name.theory)
    1.17 +      if !base.loaded_theory(node_name)
    1.18        cmd <- node.load_commands.iterator
    1.19        name <- cmd.blobs_undefined.iterator
    1.20      } yield name).toList