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

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