Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Pure/PIDE/protocol.scala
changeset 59695 a03e0561bdbf
parent 59685 c043306d2598
child 59706 bf6ca55aae13 
--- a/src/Pure/PIDE/protocol.scala	Sat Mar 14 18:18:40 2015 +0100
+++ b/src/Pure/PIDE/protocol.scala	Sat Mar 14 19:51:36 2015 +0100
@@ -433,7 +433,7 @@
           { case Document.Node.Deps(header) =>
               val master_dir = Isabelle_System.posix_path_url(name.master_dir)
               val theory = Long_Name.base_name(name.theory)
-              val imports = header.imports.map(_.node)
+              val imports = header.imports.map({ case (a, _) => a.node })
               val keywords = header.keywords.map({ case (a, b, _) => (a, b) })
               (Nil,
                 pair(Encode.string, pair(Encode.string, pair(list(Encode.string),
isabelle