X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=options.mli;fp=options.mli;h=3d9eda23917c2fe0ddcb195f5fe9d53255f48b85;hb=f98a8d98d86941a885f492d5cc134e34989c198a;hp=a7d870d048e3777b533274da6222ac05e534df6c;hpb=4dfc5a603e5f56d62b2d2db6abf01161815ed48a;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