X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=options.mli;h=a7d870d048e3777b533274da6222ac05e534df6c;hb=0d7eadaaedb0e9b485242975263b8f0480fc2f39;hp=ebc58285d15a3c2f60096096b763e940a30916b8;hpb=dc91851aaeac91a71eba2c266d0227adea0c5815;p=SXSI%2Fxpathcomp.git

diff --git a/options.mli b/options.mli
index ebc5828..a7d870d 100644
--- a/options.mli
+++ b/options.mli
@@ -8,3 +8,4 @@ val input_file : string ref
 val output_file : string option ref
 val save_file : string ref
 val time : bool ref
+val tc_threshold : int ref