X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fsyntax_extensions%2Fprofiling_macros.ml;h=9f5034a589dede7f45b7ec7ecbde5041882f01a8;hb=e9b09b14538f770b9e65083c24e3e9cf487df648;hp=479e6738124461d50597c89728fe5d9835b5943e;hpb=e495c53824b157d5d52c4fc541db262e9d4e9674;p=helm.git

diff --git a/helm/software/components/syntax_extensions/profiling_macros.ml b/helm/software/components/syntax_extensions/profiling_macros.ml
index 479e67381..9f5034a58 100644
--- 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);;
+*)
+