X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=include%2Futils.ml;h=e61ee191c1505e33787270a178b01c8ae0e32514;hb=107df590ff69de765445e22caffd416ef13288d3;hp=4a844f40593a593473f7055c5bb6e1a159f5e265;hpb=c560c779122e09b6c38c3167623c3e6e40abe7fc;p=SXSI%2Fxpathcomp.git

diff --git a/include/utils.ml b/include/utils.ml
index 4a844f4..e61ee19 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();