X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=src%2Foptions.mli;h=626785363ce34c80605b682b4b9313cfe7dc743f;hb=eb9a6467cb0860abf57f773a82da526aedc9802a;hp=8393ead50217172c251c1eae0ebbf180456a5774;hpb=fcdb6b70f80c4777e319917e9318fc8d54e3a28f;p=SXSI%2Fxpathcomp.git

diff --git a/src/options.mli b/src/options.mli
index 8393ead..6267853 100644
--- a/src/options.mli
+++ b/src/options.mli
@@ -11,8 +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