Profiling code commented out.

[helm.git] / helm / ocaml / tactics / autoTactic.ml

diff --git a/helm/ocaml/tactics/autoTactic.ml b/helm/ocaml/tactics/autoTactic.ml
index 85c5c54be30300beb690e0d20a7c946afe11925a..38a5d59d385dc661e6cffe9dc89f03317d40686e 100644 (file)
--- a/helm/ocaml/tactics/autoTactic.ml
+++ b/helm/ocaml/tactics/autoTactic.ml
@@ -27,10 +27,12 @@
 
 (* let debug_print = fun _ -> () *)
 
+(* Profiling code
 let new_experimental_hint =
  let profile = CicUtil.profile "new_experimental_hint" in
  fun ~dbd ~facts ?signature ~universe status ->
-  profile (MetadataQuery.new_experimental_hint ~dbd ~facts ?signature ~universe) status
+  profile.profile (MetadataQuery.new_experimental_hint ~dbd ~facts ?signature ~universe) status
+*) let new_experimental_hint = MetadataQuery.new_experimental_hint
 
 (* In this versions of auto_tac we maintain an hash table of all inspected
    goals. We assume that the context is invariant for application.