X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=options.ml;h=ad1541b8fbcc356f6e91816199918f0e7a6966f8;hb=df5fdb22632be887ecd9f5c46a014e7e970148a2;hp=fdfc867eee81e50f6310c8dd8c752e7631985b22;hpb=04639fe524ee20f7f84c8b08387312d714c9bd56;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
 
-      
-