src/Tools/Haskell/XML.hs
changeset 69234 2dec32c7313f
parent 69227 71b48b749836
child 69236 a75aab6d785b
     1.1 --- a/src/Tools/Haskell/XML.hs	Sun Nov 04 15:28:51 2018 +0100
     1.2 +++ b/src/Tools/Haskell/XML.hs	Sun Nov 04 17:19:56 2018 +0100
     1.3 @@ -27,9 +27,9 @@
     1.4  
     1.5  {- wrapped elements -}
     1.6  
     1.7 -xml_elemN = "xml_elem";
     1.8 -xml_nameN = "xml_name";
     1.9 -xml_bodyN = "xml_body";
    1.10 +xml_elemN = "xml_elem"
    1.11 +xml_nameN = "xml_name"
    1.12 +xml_bodyN = "xml_body"
    1.13  
    1.14  wrap_elem (((a, atts), body1), body2) =
    1.15    Elem (xml_elemN, (xml_nameN, a) : atts) (Elem (xml_bodyN, []) body1 : body2)