X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=include%2Futils.ml;h=2d66352f28a71ac2bcec30af1e0947a26674b60f;hb=13a15353a161600575ff4b70eda2c7a0f024d969;hp=1554f4420bd6ba4bd9c172373b037c5e16a0e148;hpb=38a3c71734760b87bd2ee9a5f80c8aaeadc9ee54;p=SXSI%2Fxpathcomp.git

diff --git a/include/utils.ml b/include/utils.ml
index 1554f44..2d66352 100644
--- a/include/utils.ml
+++ b/include/utils.ml
@@ -103,7 +103,7 @@ let stop_perf () =
   Unix.kill !pid Sys.sigint
 
 let time f ?(count=1) ?(msg="") x =
-  if not !Options.verbose then f x
+  if not !Config.verbose then f x
   else
   let rec loop i =
     Gc.compact();