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

diff --git a/src/options.mli b/src/options.mli
index 497f565..cfb229d 100644
--- a/src/options.mli
+++ b/src/options.mli
@@ -13,3 +13,7 @@ val bottom_up : bool ref
 val no_jump : bool ref
 val verbose : bool ref
 val text_index_type : int ref
+val do_perf : bool ref
+val twopass : bool ref
+val repeat : int ref
+val docstats : bool ref