bottom up run works for text nodes

[SXSI/xpathcomp.git] / options.mli

diff --git a/options.mli b/options.mli
index a7d870d..3d9eda2 100644 (file)
--- a/options.mli
+++ b/options.mli
@@ -9,3 +9,4 @@ val output_file : string option ref
 val save_file : string ref
 val time : bool ref
 val tc_threshold : int ref
+val backward : bool ref