Add performances counter option

[SXSI/xpathcomp.git] / src / options.mli

diff --git a/src/options.mli b/src/options.mli
index 497f565..57f142b 100644 (file)
--- a/src/options.mli
+++ b/src/options.mli
@@ -13,3 +13,4 @@ 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