X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=src%2Foptions.ml;fp=src%2Foptions.ml;h=6dfaaef37c16b7e3adfbf5696a75d7c0d34b5be4;hb=e55eb5e1ceafa840dc1d137d7fae5fb06eac3875;hp=1975212009012c7cc4f3236ebf4386bc71c90184;hpb=5c37235963ddd5fbfcb6ab86c1f8ccb78d48f0f1;p=SXSI%2Fxpathcomp.git

diff --git a/src/options.ml b/src/options.ml
index 1975212..6dfaaef 100644
--- a/src/options.ml
+++ b/src/options.ml
@@ -113,7 +113,8 @@ let parse_cmdline() =
   let _ = Arg.parse spec anon_fun usage_msg
   in
   if (!pos > 3 || !pos < 2)
-  then begin Arg.usage spec usage_msg; exit 1 end
+  then begin Arg.usage spec usage_msg; exit 1 end;
+  Logger.set_verbose !verbose