X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=options.mli;h=3d9eda23917c2fe0ddcb195f5fe9d53255f48b85;hb=90c98aee27a7e4a85c45b5488e5505649f5a265c;hp=a7d870d048e3777b533274da6222ac05e534df6c;hpb=6131f2f9e380543197c9fa253325bbc84749e6e8;p=SXSI%2Fxpathcomp.git

diff --git a/options.mli b/options.mli
index a7d870d..3d9eda2 100644
--- 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