Branched paramodulation for CNF (Horn clauses)

[helm.git] / helm / software / components / extlib / hExtlib.ml

diff --git a/helm/software/components/extlib/hExtlib.ml b/helm/software/components/extlib/hExtlib.ml
index cccb467674e22415b59de320e72cbbe845812142..7ae392c5f3534b2dfaa695d6d3a663159fa33dfe 100644 (file)
--- a/helm/software/components/extlib/hExtlib.ml
+++ b/helm/software/components/extlib/hExtlib.ml
@@ -27,9 +27,9 @@
 
 (** PROFILING *)
 
-let profiling_enabled = ref false ;; (* ComponentsConf.profiling *)
+let profiling_enabled = ref true ;; (* ComponentsConf.profiling *)
 
-let something_profiled = ref false
+let something_profiled = ref false ;;
 
 let _ = 
   if !something_profiled then