Add serialization functions

[SXSI/xpathcomp.git] / options.mli

diff --git a/options.mli b/options.mli
index aabd1fd..bd18d57 100644 (file)
--- 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