From 2c2d4580dce7952be57a1b5b157a1364b3b56892 Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.oliveiramaroneze@cea.fr>
Date: Wed, 6 May 2020 21:38:46 +0200
Subject: [PATCH] [Plugins] fix experimental status of some plugins
---
src/plugins/impact/options.ml | 2 +-
src/plugins/report/report_parameters.ml | 2 +-
src/plugins/server/server_parameters.ml | 2 +-
3 files changed, 3 insertions(+), 3 deletions(-)
diff --git a/src/plugins/impact/options.ml b/src/plugins/impact/options.ml
index 4f837357460..57be52bd1a5 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 5b0cda998d8..6d20e0933f3 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 85c087ec0a2..be9b5da15c6 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
--
GitLab