1.1 --- a/src/Pure/ProofGeneral/pgml.ML	Thu Aug 28 00:33:19 2008 +0200
     1.2 +++ b/src/Pure/ProofGeneral/pgml.ML	Thu Aug 28 00:49:54 2008 +0200
     1.3 @@ -110,7 +110,7 @@
     1.4  
     1.5      (* NOTE: we assume strings are already XML escaped here, for convenience in Isabelle;
     1.6         would be better not to *)  (* FIXME !??? *)
     1.7 -    fun atom_to_xml (Sym {name, content}) = XML.Elem ("sym", attr name name, [XML.Text content])
     1.8 +    fun atom_to_xml (Sym {name, content}) = XML.Elem ("sym", attr "name" name, [XML.Text content])
     1.9        | atom_to_xml (Str content) = XML.Text content;
    1.10  
    1.11      fun pgmlterm_to_xml (Atoms {kind, content}) =