let add_xml_declaration stream =
[<
- Xml.xml_cdata "<?xml version=\"1.0\" encoding=\"ISO-8859-1\"?>\n" ;
+ Xml.xml_cdata "<?xml version=\"1.0\" ?>\n" ;
Xml.xml_cdata "\n";
Xml.xml_nempty ~prefix:box_prefix "box"
[ Some "xmlns","m","http://www.w3.org/1998/Math/MathML" ;
let ast2mpresXml ((ast, ids_to_uris) as arg) =
let astBox = ast2astBox arg in
let smallAst2mpresXml ast =
- P.print_mpres (ast2mpres (ast, ids_to_uris))
+ P.print_mpres (fun _ -> assert false) (ast2mpres (ast, ids_to_uris))
in
(Box.box2xml ~obj2xml:smallAst2mpresXml astBox)