-/usr/bin/time -l ./bench.native ./tests/docs/XPath-PT.xml -f ./tests/queries/XPath-PT/my.xpl
\ No newline at end of file
+/usr/bin/time -l ./bench.native ./tests/docs/XPath-PT.xml -f ./tests/queries/XPath-PT/A1.xpl
\ No newline at end of file
let doc = doc () in
let query = query () in
let asta = Compil.trans query in
+ let t1 = Unix.gettimeofday() in
let _ = compute_run doc asta in
+ let t2 = Unix.gettimeofday() in
+ let () = fprintf err_formatter "Time for Run (ms): %f\n%!" ((t2-.t1)*.1000.) in
exit 0