X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=options.mli;h=3d9eda23917c2fe0ddcb195f5fe9d53255f48b85;hb=df5fdb22632be887ecd9f5c46a014e7e970148a2;hp=9db75a75ebf51c37c708ba35aaa27140741a450c;hpb=83aa6cf8a120ea6681402ce42ae56631fca1ddf4;p=SXSI%2Fxpathcomp.git

diff --git a/options.mli b/options.mli
index 9db75a7..3d9eda2 100644
--- a/options.mli
+++ b/options.mli
@@ -7,4 +7,6 @@ val query : string ref
 val input_file : string ref
 val output_file : string option ref
 val save_file : string ref
-
+val time : bool ref
+val tc_threshold : int ref
+val backward : bool ref