src/Pure/PIDE/protocol.scala
changeset 54515 570ba266f5b5
parent 54509 1f77110c94ef
child 54519 5fed81762406
     1.1 --- a/src/Pure/PIDE/protocol.scala	Mon Nov 18 23:46:59 2013 +0100
     1.2 +++ b/src/Pure/PIDE/protocol.scala	Tue Nov 19 12:57:56 2013 +0100
     1.3 @@ -339,7 +339,7 @@
     1.4            { case Document.Node.Clear() => (Nil, Nil) },  // FIXME unused !?
     1.5            { case Document.Node.Edits(a) => (Nil, list(pair(option(id), option(id)))(a)) },
     1.6            { case Document.Node.Deps(header) =>
     1.7 -              val dir = Isabelle_System.posix_path(name.dir)
     1.8 +              val master_dir = Isabelle_System.posix_path(name.master_dir)
     1.9                val imports = header.imports.map(_.node)
    1.10                val keywords = header.keywords.map({ case (a, b, _) => (a, b) })
    1.11                (Nil,
    1.12 @@ -347,7 +347,7 @@
    1.13                    pair(list(pair(Encode.string,
    1.14                      option(pair(pair(Encode.string, list(Encode.string)), list(Encode.string))))),
    1.15                    list(Encode.string)))))(
    1.16 -                (dir, (name.theory, (imports, (keywords, header.errors)))))) },
    1.17 +                (master_dir, (name.theory, (imports, (keywords, header.errors)))))) },
    1.18            { case Document.Node.Perspective(a, b, c) =>
    1.19                (bool_atom(a) :: b.commands.map(cmd => long_atom(cmd.id)),
    1.20                  list(pair(id, pair(Encode.string, list(Encode.string))))(c.dest)) }))