Change the logging infrastructure:

[SXSI/xpathcomp.git] / src / options.ml

diff --git a/src/options.ml b/src/options.ml
index 8285888..03d24a9 100644 (file)
--- 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 ())
      ]