X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=src%2Foptions.ml;h=03d24a94eb80f50ded318e34cd82d99e387adce3;hb=3791216bfb2b9d966718f83fd414e8bcd5f7a066;hp=828588842d769aa5e1895c90bb5c8a677a9d2788;hpb=468560acb04b8936936080e81152d926c251df30;p=SXSI%2Fxpathcomp.git

diff --git a/src/options.ml b/src/options.ml
index 8285888..03d24a9 100644
--- a/src/options.ml
+++ b/src/options.ml
@@ -88,7 +88,7 @@ let spec = Arg.align
     "-v", Arg.Set(verbose), " verbose mode"; ] @
 IFNDEF NTRACE
 THEN [
-    "-log", Arg.String (set_tracer),
+    "-log", Arg.String (set_logger),
     "<logger1:l1,...,loggern:ln> enable logging with the specified level. Valid loggers are: "
       ^ (pretty_loggers ())
      ]