- let module Naive = Eval.Make(Naive_tree) in
- let t1 = Unix.gettimeofday() in
- let results = Naive.eval auto doc (Naive_tree.root doc) in
- let teval = (Unix.gettimeofday () -. t1) *. 1000. in
- let t1 = Unix.gettimeofday () in
+
+ let module Naive = Run.Make(Naive_tree) in
+ let results =
+ time (Naive.eval auto doc) (Naive_tree.root doc) "evaluating query"
+ in
+ time (fun () ->