print_endline (sprintf "dumping MathML to %s ..." fname);
flush stdout;
let oc = open_out fname in
- let markup = CicNotationPres.render id_to_uri t in
- Xml.pp_to_outchan (xml_stream_of_markup markup) oc;
+ Xml.pp_to_outchan (CicNotationPres.render_to_boxml id_to_uri t) oc;
close_out oc
let _ =
let t' = CicNotationRew.pp_ast t in
let time4 = Unix.gettimeofday () in
printf "pretty printing took %f seconds\n" (time4 -. time3);
- dump_xml t id_to_uri "out.xml";
+ dump_xml t' id_to_uri "out.xml";
print_endline (CicNotationPp.pp_term t'); flush stdout
)
(* CicNotationParser.print_l2_pattern ()) *)