- fprintf err_formatter "@[STATS: Query: %a @]@." Xpath.Ast.print_path query;
- fprintf err_formatter "@[STATS: @[Automaton: @\n";
- Ata.print err_formatter auto;
- fprintf err_formatter "@]@]@.";
+ Logger.msg `STATS "Query: %a " Xpath.Ast.print_path query;
+ Logger.msg `STATS "@[Automaton: @\n%a@]" Ata.print auto;