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

diff --git a/src/options.mli b/src/options.mli
index 8393ead..cfb229d 100644
--- a/src/options.mli
+++ b/src/options.mli
@@ -16,3 +16,4 @@ val text_index_type : int ref
 val do_perf : bool ref
 val twopass : bool ref
 val repeat : int ref
+val docstats : bool ref