diff --git a/src/plugins/value/value_parameters.ml b/src/plugins/value/value_parameters.ml
index a45ba4188c1cb01f9b82d9905db9aedc45b08956..6213ef4f51156fcaffba7d0fd7c1e0a9306a9f4b 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 7ead8310a01f463bd9cd8f75d995a2ecce1af21a..00db23383f500a22b368d1c34a279ef972cd07ee 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