Add -doc-stats options to print document statistics.

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

diff --git a/src/options.mli b/src/options.mli
index 8393ead..cfb229d 100644 (file)
--- a/src/options.mli
+++ b/src/options.mli
@@ -16,3 +16,4 @@ val text_index_type : int ref
 val do_perf : bool ref
 val twopass : bool ref
 val repeat : int ref
+val docstats : bool ref