From 096abe2da7159353f8e98f6d7a05ce4d591dc01d Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Wed, 15 Jan 2020 11:22:24 +0100
Subject: [PATCH] [Inout] Locally removes a compilation warning about unused
modules.
---
src/plugins/inout/operational_inputs.ml | 8 ++++++--
1 file changed, 6 insertions(+), 2 deletions(-)
diff --git a/src/plugins/inout/operational_inputs.ml b/src/plugins/inout/operational_inputs.ml
index ea48d5ad04b..fa37b1b2e8c 100644
--- a/src/plugins/inout/operational_inputs.ml
+++ b/src/plugins/inout/operational_inputs.ml
@@ -646,7 +646,9 @@ module Callwise = struct
Inout_type.map (Zone.filter_base filter) with_internals
with Not_found -> Inout_type.bottom
end) in
- let module Compute = Dataflows.Simple_forward(Fenv)(Computer) in
+ let module [@warning "-60"] Compute =
+ Dataflows.Simple_forward (Fenv) (Computer)
+ in
Computer.end_dataflow ()
let record_for_callwise_inout ((call_stack: Db.Value.callstack), value_res) =
@@ -715,7 +717,9 @@ module FunctionWise = struct
call_stack;
Stack.push kf call_stack;
- let module Compute = Dataflows.Simple_forward(Fenv)(Computer) in
+ let module [@warning "-60"] Compute =
+ Dataflows.Simple_forward (Fenv) (Computer)
+ in
let result = Computer.end_dataflow () in
ignore (Stack.pop call_stack);
result
--
GitLab