Split the Options module in two to remove a circular dependency in

[SXSI/xpathcomp.git] / include / utils.ml

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