X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=options.ml;h=fdfc867eee81e50f6310c8dd8c752e7631985b22;hb=0c2338bfcdae0df1c68112a10247dc4e68a483ff;hp=6698921e3dc9a41e0bb9c322a12b8f407b2a7e39;hpb=f98a8d98d86941a885f492d5cc134e34989c198a;p=SXSI%2Fxpathcomp.git

diff --git a/options.ml b/options.ml
index 6698921..fdfc867 100644
--- a/options.ml
+++ b/options.ml
@@ -41,3 +41,4 @@ let parse_cmdline() =
       
 	     
 
+