X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=benchmark%2Fmain.ml;fp=benchmark%2Fmain.ml;h=93c673bf1b9a917d7b4f77270905b0ef5a07d2ef;hb=63ca35af9ef5c0b18b3d3217536f3353f77f5465;hp=7f6b3ad427fdae0e648c2dc38a0a5690dbfa6e25;hpb=eebef30070a951d852ce5811b289d8131a5300eb;p=SXSI%2Fxpathcomp.git

diff --git a/benchmark/main.ml b/benchmark/main.ml
index 7f6b3ad..93c673b 100644
--- a/benchmark/main.ml
+++ b/benchmark/main.ml
@@ -62,7 +62,7 @@ struct
   let reference = false
   let time_factor = 1.0
   let mk_queryfile b doc q out = ()
-  let mk_cmdline b qout qfile doc q = [ doc; q ]@ (if b then [qout] else [])
+  let mk_cmdline b qout qfile doc q = [ "-d"; doc; q ]@ (if b then [qout] else [])
   let parse_rules = 
     [  ( ".*Parsing document :[ \\t]*\\([0-9]+\\.[0-9]*\\)ms.*",
 	 [ Input_parsing_time 1]);