X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=options.ml;fp=options.ml;h=fdfc867eee81e50f6310c8dd8c752e7631985b22;hb=04639fe524ee20f7f84c8b08387312d714c9bd56;hp=6698921e3dc9a41e0bb9c322a12b8f407b2a7e39;hpb=70ff0bfc463882ecf233f1b1a7ac4a8007fa4cc2;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() =
       
 	     
 
+