src/Pure/PIDE/isar_document.ML
changeset 44479 9a04e7502e22
parent 44476 e8a87398f35d
child 44481 bb42bc831570
     1.1 --- a/src/Pure/PIDE/isar_document.ML	Thu Aug 25 19:12:58 2011 +0200
     1.2 +++ b/src/Pure/PIDE/isar_document.ML	Fri Aug 26 15:09:54 2011 +0200
     1.3 @@ -55,7 +55,7 @@
     1.4            Output.status (Markup.markup (Markup.assign new_id)
     1.5              (assignment |>
     1.6                let open XML.Encode
     1.7 -              in pair (list (pair int int)) (list (pair string (option int))) end
     1.8 +              in pair (list (pair int (option int))) (list (pair string (option int))) end
     1.9                |> YXML.string_of_body));
    1.10          val state'' = Document.execute new_id state';
    1.11        in state'' end));