X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=options.mli;h=bd18d57312383f4ed022b64768e3bf81836ea161;hb=9abf8a6f78264fbf4eec1676b4a26018967c97e6;hp=aabd1fd85f6f514f549349ca57d0da50a44f3792;hpb=1c5c95673d1d3595f948e5dc674861a1f86b6158;p=SXSI%2Fxpathcomp.git

diff --git a/options.mli b/options.mli
index aabd1fd..bd18d57 100644
--- a/options.mli
+++ b/options.mli
@@ -5,5 +5,5 @@ val disable_text_collection : bool ref
 val query : string ref
 val input_file : string ref
 val output_file : string option ref
-
+val save_file : string ref