let auto =
time Xpath.Compile.path query "compiling XPath query"
in
+ let auto = time Ata.copy auto "copying Automaton" in
let output =
match !Options.output_file with
| None | Some "-" | Some "/dev/stdout" -> stdout
output_string output "</xml_result>\n";
flush output;
if output != stdout then close_out output
-
+
) () "serializing results"