X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic%2FcicUtil.ml;h=07f39896c3050396c9e72a194c88931cfe3d7158;hb=7efb15b93cf42eae8b34a12a327ee7213c1dbecc;hp=c85c2c803719f58ea3ec0ea6349c9bf0043c2566;hpb=064430093888668afe1400889ced26469420df96;p=helm.git

diff --git a/helm/ocaml/cic/cicUtil.ml b/helm/ocaml/cic/cicUtil.ml
index c85c2c803..07f39896c 100644
--- a/helm/ocaml/cic/cicUtil.ml
+++ b/helm/ocaml/cic/cicUtil.ml
@@ -209,7 +209,7 @@ let rec mk_rels howmany from =
   | 0 -> []
   | _ -> (Cic.Rel (howmany + from)) :: (mk_rels (howmany-1) from)
 
-let profiling_enabled = true
+let profiling_enabled = false
 
 type profiler = { profile : 'a 'b. ('a -> 'b) -> 'a -> 'b }
 let profile =