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

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