X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=src%2Foptions.mli;h=626785363ce34c80605b682b4b9313cfe7dc743f;hb=744e0c89a77d0eb82c64a98d8a8a6860af875653;hp=e57f0cbb7082fde5fe86958934a147c4e19d2d3e;hpb=7c4c61cec6fe1ae3a1b83a59b17ce90adcfe9b0b;p=SXSI%2Fxpathcomp.git

diff --git a/src/options.mli b/src/options.mli
index e57f0cb..6267853 100644
--- a/src/options.mli
+++ b/src/options.mli
@@ -11,7 +11,10 @@ val time : bool ref
 val tc_threshold : int ref
 val bottom_up : bool ref
 val no_jump : bool ref
+val no_cache : bool ref
 val verbose : bool ref
 val text_index_type : int ref
 val do_perf : bool ref
 val twopass : bool ref
+val repeat : int ref
+val docstats : bool ref