From d266aba44a5d62faa7f5e3de0cd2c30753dfa377 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Fri, 17 Jan 2020 13:44:35 +0100
Subject: [PATCH] [Eva] Removes the deprecated option
-val-warn-builtin-override.
Replaced by the warning category builtins:override for more than a year.
---
src/plugins/value/value_parameters.ml | 20 --------------------
src/plugins/value/value_parameters.mli | 1 -
2 files changed, 21 deletions(-)
diff --git a/src/plugins/value/value_parameters.ml b/src/plugins/value/value_parameters.ml
index a45ba4188c1..6213ef4f511 100644
--- a/src/plugins/value/value_parameters.ml
+++ b/src/plugins/value/value_parameters.ml
@@ -1313,26 +1313,6 @@ module NumerorsLogFile =
let default = ""
end)
-let () = Parameter_customize.set_group alarms
-let () = Parameter_customize.is_invisible ()
-module WarnBuiltinOverride =
- True(struct
- let option_name = "-val-warn-builtin-override"
- let help = "[DEPRECATED: use warning category key '" ^
- (wkey_name wkey_builtins_override) ^
- "' to control] Warn when Eva built-ins will override function \
- definitions"
- end)
-let () = add_correctness_dep WarnBuiltinOverride.parameter
-let () = WarnBuiltinOverride.add_update_hook
- (fun _ v ->
- warning "Option %s is deprecated. \
- Use warning category key '%a' instead"
- WarnBuiltinOverride.option_name
- pp_warn_category wkey_builtins_override;
- set_warn_status wkey_builtins_override
- (if v then Log.Wonce else Log.Winactive))
-
(* ------------------------------------------------------------------------- *)
(* --- Interpreter mode --- *)
(* ------------------------------------------------------------------------- *)
diff --git a/src/plugins/value/value_parameters.mli b/src/plugins/value/value_parameters.mli
index 7ead8310a01..00db23383f5 100644
--- a/src/plugins/value/value_parameters.mli
+++ b/src/plugins/value/value_parameters.mli
@@ -148,7 +148,6 @@ module PrintCallstacks: Parameter_sig.Bool
module AlarmsWarnings: Parameter_sig.Bool
module ReportRedStatuses: Parameter_sig.String
module NumerorsLogFile: Parameter_sig.String
-module WarnBuiltinOverride: Parameter_sig.Bool
module MemExecAll: Parameter_sig.Bool
--
GitLab