- printf "pretty printing took %f seconds\n" (time4 -. time3);
- dump_xml t' id_to_uri "out.xml";
- print_endline (CicNotationPp.pp_term t'); flush stdout
- )
+ prerr_endline (sprintf "pretty printing took %f seconds\n" (time4 -. time3));
+ prerr_endline (CicNotationPp.pp_term t');
+ dump_xml t' id_to_uri "out.xml")