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

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