CicNotationRew.ast_of_acic id_to_sort annterm
in
let time2 = Unix.gettimeofday () in
- printf "ast creation took %f seconds\n" (time2 -. time1);
- prerr_endline "====";
- print_endline (CicNotationPp.pp_term t); flush stdout;
+ prerr_endline (sprintf "ast creation took %f seconds\n" (time2 -. time1));
+ prerr_endline "AST";
+ prerr_endline (CicNotationPp.pp_term t);
flush stdout;
let time3 = Unix.gettimeofday () in
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";
- 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")
(* CicNotationParser.print_l2_pattern ()) *)
| 1 -> ignore (CicNotationParser.parse_syntax_pattern istream)
| 2 ->