src/Pure/PIDE/protocol.scala
changeset 63429 baedd4724f08
parent 61381 ddca85598c65
child 63579 73939a9b70a3
     1.1 --- a/src/Pure/PIDE/protocol.scala	Fri Jul 08 22:22:51 2016 +0200
     1.2 +++ b/src/Pure/PIDE/protocol.scala	Sun Jul 10 11:18:35 2016 +0200
     1.3 @@ -378,7 +378,7 @@
     1.4                (Nil,
     1.5                  pair(Encode.string, pair(Encode.string, pair(list(Encode.string),
     1.6                    pair(list(pair(Encode.string,
     1.7 -                    option(pair(pair(Encode.string, list(Encode.string)), list(Encode.string))))),
     1.8 +                    pair(pair(Encode.string, list(Encode.string)), list(Encode.string)))),
     1.9                    list(Encode.string)))))(
    1.10                  (master_dir, (theory, (imports, (keywords, header.errors)))))) },
    1.11            { case Document.Node.Perspective(a, b, c) =>