diff --git a/meta_annotate.ml b/meta_annotate.ml
index a62bd11e9cf96aebee2593189117e2132478474e..dcda5c49dd4b6a527ae2f1adffa45b0c8140bf66 100644
--- a/meta_annotate.ml
+++ b/meta_annotate.ml
@@ -618,17 +618,6 @@ class strong_inv_visitor flags all_mp table = object (self)
     else Cil.DoChildren
 end
 
-(* Print how the MPs were dispatched *)
-let report all_mp tables = 
-  let open Meta_dispatch in
-  List.iter (fun (_, table) ->
-      Self.feedback "New context";
-      Hashtbl.iter (fun key value ->
-          Self.feedback "%s -> %s" key
-            (Emitter.get_name (Hashtbl.find all_mp value).ump_emitter)
-        ) table
-    ) tables
-
 (* Make one copy-pass for each context, typing and instanciating MPs on the fly *)
 let annotate flags all_mp by_context =
   let get_vis table = function