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

diff --git a/options.ml b/options.ml
index fdfc867..ad1541b 100644
--- a/options.ml
+++ b/options.ml
@@ -38,7 +38,5 @@ let parse_cmdline() =
     if (!pos > 3 || !pos < 2)
     then begin Arg.usage spec usage_msg; exit 1 end
 
-      
-