From 38b09944cd55ce9e3f316579201701fc891baacc Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Mon, 3 Jan 2022 15:49:19 +0100
Subject: [PATCH] remove unused function
---
meta_annotate.ml | 11 -----------
1 file changed, 11 deletions(-)
diff --git a/meta_annotate.ml b/meta_annotate.ml
index a62bd11..dcda5c4 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
--
GitLab