X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Ftactics%2Fparamodulation%2Futils.ml;h=a85ccc674220482c782598f26d1d1d1e8e4b9394;hb=3a0c71609f757f4ad3aadd234b84486fec97b791;hp=8a2722bb6820a1bf3d06652c8d9101be147dabad;hpb=f24441c88f3ba0c7870646fc2cfd1cbdf6517178;p=helm.git

diff --git a/helm/software/components/tactics/paramodulation/utils.ml b/helm/software/components/tactics/paramodulation/utils.ml
index 8a2722bb6..a85ccc674 100644
--- a/helm/software/components/tactics/paramodulation/utils.ml
+++ b/helm/software/components/tactics/paramodulation/utils.ml
@@ -25,7 +25,7 @@
 
 (* $Id$ *)
 
-let time = true;;
+let time = false;;
 let debug = false;;
 let debug_metas = false;; 
 let debug_res = false;;