src/Pure/PIDE/protocol.ML
changeset 63429 baedd4724f08
parent 62599 f35858c831e5
child 63806 c54a53ef1873
     1.1 --- a/src/Pure/PIDE/protocol.ML	Fri Jul 08 22:22:51 2016 +0200
     1.2 +++ b/src/Pure/PIDE/protocol.ML	Sun Jul 10 11:18:35 2016 +0200
     1.3 @@ -72,7 +72,7 @@
     1.4                          val (master, (name, (imports, (keywords, errors)))) =
     1.5                            pair string (pair string (pair (list string)
     1.6                              (pair (list (pair string
     1.7 -                              (option (pair (pair string (list string)) (list string)))))
     1.8 +                              (pair (pair string (list string)) (list string))))
     1.9                                (list YXML.string_of_body)))) a;
    1.10                          val imports' = map (rpair Position.none) imports;
    1.11                          val keywords' = map (fn (x, y) => ((x, Position.none), y)) keywords;