X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=src%2Foptions.mli;h=e57f0cbb7082fde5fe86958934a147c4e19d2d3e;hb=718a2eff89f4798ee47e055556f500dc950a82b7;hp=57f142bacbbd694b531d26e4ff4e592a96a726a7;hpb=a84e4fba7daf4f600958487d88f0b733fb19042e;p=SXSI%2Fxpathcomp.git

diff --git a/src/options.mli b/src/options.mli
index 57f142b..e57f0cb 100644
--- a/src/options.mli
+++ b/src/options.mli
@@ -14,3 +14,4 @@ val no_jump : bool ref
 val verbose : bool ref
 val text_index_type : int ref
 val do_perf : bool ref
+val twopass : bool ref