From 58e7bc342585dd57fca568611e3663a4fe4737a9 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Thu, 18 Feb 2021 11:14:46 +0100
Subject: [PATCH] [Eva] Removes unused changes in value_parameters.
---
src/plugins/value/value_parameters.ml | 8 +++-----
src/plugins/value/value_parameters.mli | 2 --
2 files changed, 3 insertions(+), 7 deletions(-)
diff --git a/src/plugins/value/value_parameters.ml b/src/plugins/value/value_parameters.ml
index ad331f122e7..7714801f87b 100644
--- a/src/plugins/value/value_parameters.ml
+++ b/src/plugins/value/value_parameters.ml
@@ -61,17 +61,13 @@ let add_precision_dep p =
let () = List.iter add_correctness_dep kernel_parameters_correctness
-module Fc_filepath = Filepath
-
-module Eva =
- Plugin.Register
+include Plugin.Register
(struct
let name = "Eva"
let shortname = "eva"
let help =
"automatically computes variation domains for the variables of the program"
end)
-include Eva
let () = Help.add_aliases ~visible:false [ "-value-h"; "-val-h" ]
let () = add_plugin_output_aliases ~visible:false ~deprecated:true [ "value" ]
@@ -1428,6 +1424,8 @@ let parameters_correctness =
let parameters_tuning =
Typed_parameter.Set.elements !parameters_tuning
+
+
(*
Local Variables:
compile-command: "make -C ../../.."
diff --git a/src/plugins/value/value_parameters.mli b/src/plugins/value/value_parameters.mli
index 9e8ac504892..0a294b1e8c1 100644
--- a/src/plugins/value/value_parameters.mli
+++ b/src/plugins/value/value_parameters.mli
@@ -20,8 +20,6 @@
(* *)
(**************************************************************************)
-module Fc_filepath = Filepath
-
include Plugin.General_services
module ForceValues: Parameter_sig.With_output
--
GitLab