diff --git a/src/plugins/impact/options.ml b/src/plugins/impact/options.ml index 4f83735746019f37fb8f5cee26aea93db2ef7dce..57be52bd1a5c35955cb6f7e24d9a7c48904f922c 100644 --- a/src/plugins/impact/options.ml +++ b/src/plugins/impact/options.ml @@ -24,7 +24,7 @@ include Plugin.Register (struct let name = "impact" let shortname = "impact" - let help = "impact analysis (experimental)" + let help = "impact analysis" end) module Pragma = diff --git a/src/plugins/report/report_parameters.ml b/src/plugins/report/report_parameters.ml index 5b0cda998d8e92017f9bde8ae8d685638010defa..6d20e0933f3e42525189881eb7432741d0c65df6 100644 --- a/src/plugins/report/report_parameters.ml +++ b/src/plugins/report/report_parameters.ml @@ -24,7 +24,7 @@ include Plugin.Register (struct let name = "report" let shortname = "report" - let help = "Properties Status Report (experimental)" + let help = "Properties Status Report" end) module Print = diff --git a/src/plugins/server/server_parameters.ml b/src/plugins/server/server_parameters.ml index 85c087ec0a2a790564f83efd1d8c3cc856a92626..be9b5da15c6ad6f271c9bd6cb764422eee3f0cfa 100644 --- a/src/plugins/server/server_parameters.ml +++ b/src/plugins/server/server_parameters.ml @@ -28,7 +28,7 @@ module P = Plugin.Register (struct let name = "Server" let shortname = "server" - let help = "Frama-C Request Server" + let help = "Frama-C Request Server (experimental)" end) include P