Add command line option to disable caching and jumping

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

diff --git a/src/options.mli b/src/options.mli
index cfb229d..6267853 100644 (file)
--- a/src/options.mli
+++ b/src/options.mli
@@ -11,6 +11,7 @@ val time : bool ref
 val tc_threshold : int ref
 val bottom_up : bool ref
 val no_jump : bool ref
+val no_cache : bool ref
 val verbose : bool ref
 val text_index_type : int ref
 val do_perf : bool ref