1.1 --- a/test/Pure/PIDE/xml.ML	Mon May 18 13:17:03 2015 +0200
     1.2 +++ b/test/Pure/PIDE/xml.ML	Mon May 18 13:22:43 2015 +0200
     1.3 @@ -57,7 +57,7 @@
     1.4      XML.Elem (("CALCID", []), [XML.Text (string_of_int calcid)]),
     1.5      XML.Elem (("POSITION", []), [
     1.6        XML.Elem (("INTLIST", []), is),
     1.7 -      XML.Elem (("POS", []), [XML.Text kind])])]);
     1.8 +        XML.Elem (("POS", []), [XML.Text kind])])]);
     1.9  xmlstr 0 result = "<CALCITERATOR>\n  <CALCID>\n    111\n  </CALCID>\n  <POSITION>\n    <INTLIST>\n    </INTLIST>\n    <POS>\n      Pbl\n    </POS>\n  </POSITION>\n</CALCITERATOR>\n";
    1.10  writeln (xmlstr 0 result);
    1.11