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

diff --git a/helm/software/components/extlib/hExtlib.ml b/helm/software/components/extlib/hExtlib.ml
index bf725122c..57511db0e 100644
--- a/helm/software/components/extlib/hExtlib.ml
+++ b/helm/software/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