X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=src%2Foptions.mli;h=8393ead50217172c251c1eae0ebbf180456a5774;hb=fcdb6b70f80c4777e319917e9318fc8d54e3a28f;hp=e57f0cbb7082fde5fe86958934a147c4e19d2d3e;hpb=8b893c226baab084f9fbba8bd25e877dde40c0cd;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