X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=src%2Foptions.mli;fp=src%2Foptions.mli;h=cfb229dd4975d8fb04d9024f61db8f1c499bdb09;hb=0da8c3c7c76ab06d5ccfc6ae52488d7549735059;hp=8393ead50217172c251c1eae0ebbf180456a5774;hpb=50da4f8d437372ae53be11a68beb424b35b28966;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