remove unused function

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