X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=options.mli;fp=options.mli;h=ebc58285d15a3c2f60096096b763e940a30916b8;hb=dc91851aaeac91a71eba2c266d0227adea0c5815;hp=9db75a75ebf51c37c708ba35aaa27140741a450c;hpb=5cc0fe57953445af433b00023e5f4b6c1d0fe549;p=SXSI%2Fxpathcomp.git

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