[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

@@ -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                                                  --- *)
 (* ------------------------------------------------------------------------- *)

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