src/Pure/PIDE/protocol.scala
changeset 59695 a03e0561bdbf
parent 59685 c043306d2598
child 59706 bf6ca55aae13
     1.1 --- a/src/Pure/PIDE/protocol.scala	Sat Mar 14 18:18:40 2015 +0100
     1.2 +++ b/src/Pure/PIDE/protocol.scala	Sat Mar 14 19:51:36 2015 +0100
     1.3 @@ -433,7 +433,7 @@
     1.4            { case Document.Node.Deps(header) =>
     1.5                val master_dir = Isabelle_System.posix_path_url(name.master_dir)
     1.6                val theory = Long_Name.base_name(name.theory)
     1.7 -              val imports = header.imports.map(_.node)
     1.8 +              val imports = header.imports.map({ case (a, _) => a.node })
     1.9                val keywords = header.keywords.map({ case (a, b, _) => (a, b) })
    1.10                (Nil,
    1.11                  pair(Encode.string, pair(Encode.string, pair(list(Encode.string),