Logger.msg `STATS "@[Automaton: @\n%a@]" Ata.print auto;
end;
- let module Naive = Eval.Make(Naive_tree) in
+ let module Naive = Run.Make(Naive_tree) in
let results =
- time (Naive.eval auto doc) (Naive_tree.root doc) "evaluating query"
+ time (Naive.eval auto doc) ([Naive_tree.root doc]) "evaluating query"
in
time (fun () ->
output_string output "<xml_result>\n";