matitaprover

[helm.git] / helm / software / components / syntax_extensions / profiling_macros.ml

diff --git a/helm/software/components/syntax_extensions/profiling_macros.ml b/helm/software/components/syntax_extensions/profiling_macros.ml
index 479e6738124461d50597c89728fe5d9835b5943e..9f5034a589dede7f45b7ec7ecbde5041882f01a8 100644 (file)
--- a/helm/software/components/syntax_extensions/profiling_macros.ml
+++ b/helm/software/components/syntax_extensions/profiling_macros.ml
@@ -72,8 +72,11 @@ let profile_stop _ label =
   stop label extra
 ;;
 
+(*
 Quotation.add "profiler" (Quotation.ExStr banner);;
 Quotation.add "profile" (Quotation.ExStr profile_start_stop);;
 Quotation.add "start" (Quotation.ExStr profile_start);;
 Quotation.add "stop" (Quotation.ExStr profile_stop);;
 Quotation.add "show" (Quotation.ExStr profile_show);;
+*)
+