From dd8a080e202d9116941888a2826780133c4a2661 Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Fri, 15 Apr 2022 08:30:34 +0200
Subject: [PATCH] [kernel] remove old Help module
---
src/kernel_services/plugin_entry_points/plugin.ml | 1 -
src/kernel_services/plugin_entry_points/plugin.mli | 3 ---
src/plugins/value/self.ml | 4 ++--
3 files changed, 2 insertions(+), 6 deletions(-)
diff --git a/src/kernel_services/plugin_entry_points/plugin.ml b/src/kernel_services/plugin_entry_points/plugin.ml
index 7feccc6f83b..493cea1aaf7 100644
--- a/src/kernel_services/plugin_entry_points/plugin.ml
+++ b/src/kernel_services/plugin_entry_points/plugin.ml
@@ -36,7 +36,6 @@ let config_ref = Extlib.mk_fun "config_ref"
module type S_no_log = sig
val add_group: ?memo:bool -> string -> Cmdline.Group.t
- module Help: Parameter_sig.Bool
module Verbose: Parameter_sig.Int
module Debug: Parameter_sig.Int
module Share: Parameter_sig.Specific_dir
diff --git a/src/kernel_services/plugin_entry_points/plugin.mli b/src/kernel_services/plugin_entry_points/plugin.mli
index bad286c5bff..1a761d17e9e 100644
--- a/src/kernel_services/plugin_entry_points/plugin.mli
+++ b/src/kernel_services/plugin_entry_points/plugin.mli
@@ -38,9 +38,6 @@ module type S_no_log = sig
[memo] defaults to [false]
@since Beryllium-20090901 *)
- module Help: Parameter_sig.Bool
- (** @deprecated since Oxygen-20120901 *)
-
module Verbose: Parameter_sig.Int
module Debug: Parameter_sig.Int
diff --git a/src/plugins/value/self.ml b/src/plugins/value/self.ml
index 430ed2dfde6..cf109376c8d 100644
--- a/src/plugins/value/self.ml
+++ b/src/plugins/value/self.ml
@@ -28,8 +28,8 @@ include Plugin.Register
"automatically computes variation domains for the variables of the program"
end)
-let () = Help.add_aliases ~visible:false [ "-value-h"; "-val-h" ]
-let () = add_plugin_output_aliases ~visible:false ~deprecated:true [ "value" ]
+let () =
+ add_plugin_output_aliases ~visible:false ~deprecated:true [ "value" ; "val" ]
(* Do not add dependencies to Kernel parameters here, but at the top of
Parameters. *)
--
GitLab