src/Pure/PIDE/protocol.scala
changeset 65439 862bfd2b4fd4
parent 65384 36255c43c64c
child 65445 e9e7f5f5794c
     1.1 --- a/src/Pure/PIDE/protocol.scala	Fri Apr 07 21:17:18 2017 +0200
     1.2 +++ b/src/Pure/PIDE/protocol.scala	Sat Apr 08 12:31:29 2017 +0200
     1.3 @@ -359,7 +359,7 @@
     1.4            { case Document.Node.Edits(a) => (Nil, list(pair(option(id), option(id)))(a)) },
     1.5            { case Document.Node.Deps(header) =>
     1.6                val master_dir = File.standard_url(name.master_dir)
     1.7 -              val theory = Long_Name.base_name(name.theory)
     1.8 +              val theory = name.theory_base_name  // FIXME
     1.9                val imports = header.imports.map({ case (a, _) => a.node })
    1.10                val keywords =
    1.11                  header.keywords.map({ case (a, Keyword.Spec(b, c, d)) => (a, ((b, c), d)) })