Revert previous attribute name change, problem can be avoided in JAXB.
authoraspinall
Thu Sep 15 16:15:22 2005 +0200 (2005-09-15)
changeset 1740738e0219ec022
parent 17406 3813cc8fad55
child 17408 551c9a4dd693
Revert previous attribute name change, problem can be avoided in JAXB.
src/Pure/proof_general.ML
     1.1 --- a/src/Pure/proof_general.ML	Thu Sep 15 13:36:10 2005 +0200
     1.2 +++ b/src/Pure/proof_general.ML	Thu Sep 15 16:15:22 2005 +0200
     1.3 @@ -180,7 +180,7 @@
     1.4      XML.element
     1.5        "pgip"
     1.6        ([("tag",    pgip_tag),
     1.7 -        ("messageclass",  pgip_class),
     1.8 +        ("class",  pgip_class),
     1.9          ("seq",    string_of_int (pgip_serial())),
    1.10          ("id",     !pgip_id)] @
    1.11         if_none (Option.map (single o (pair "destid")) (! pgip_refid)) [] @
    1.12 @@ -1298,7 +1298,7 @@
    1.13       (case xml of
    1.14            XML.Elem ("pgip", attrs, pgips) =>
    1.15            (let
    1.16 -               val class = xmlattr "messageclass" attrs
    1.17 +               val class = xmlattr "class" attrs
    1.18                 val dest  = xmlattro "destid" attrs
    1.19                 val _ = (pgip_refid :=  xmlattro "id" attrs;
    1.20                          pgip_refseq := xmlattro "seq" attrs)