From 18e2383eefe4841f28f392d3dd8f55671030f55c Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Wed, 15 Sep 2021 15:31:17 +0200
Subject: [PATCH] [Inout] Removes an unused declaration.
---
src/plugins/inout/operational_inputs.ml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/plugins/inout/operational_inputs.ml b/src/plugins/inout/operational_inputs.ml
index 0fae49bb5f3..43736a78c94 100644
--- a/src/plugins/inout/operational_inputs.ml
+++ b/src/plugins/inout/operational_inputs.ml
@@ -561,6 +561,7 @@ let extract_inout_from_froms froms =
(Zone.join in_return in_), out_
+[@@@ warning "-60"]
module Callwise = struct
let merge_call_in_local_table call local_table v =
@@ -842,7 +843,6 @@ module Externals_With_Formals =
end)
let get_external_with_formals =
Externals_With_Formals.memo (raw_externals ~with_formals:true)
-let compute_external_with_formals kf = ignore (get_external_with_formals kf)
let pretty_operational_inputs_internal fmt kf =
--
GitLab