X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=components%2Fextlib%2FhExtlib.ml;h=57511db0e5205d7a61bee0f074f3631d88815914;hb=93cc0505102768f7d4337907bafa31d1528a7289;hp=bf725122c260e31f0b8c4595e36f9af2833db2fb;hpb=d2eaaa0e1793c75c56f6fbfbdcf8b8aaa1dc47cb;p=helm.git

diff --git a/components/extlib/hExtlib.ml b/components/extlib/hExtlib.ml
index bf725122c..57511db0e 100644
--- a/components/extlib/hExtlib.ml
+++ b/components/extlib/hExtlib.ml
@@ -27,7 +27,7 @@
 
 (** PROFILING *)
 
-let profiling_enabled = ComponentsConf.profiling
+let profiling_enabled = false ;; (* ComponentsConf.profiling *)
 
 let something_profiled = ref false