From 2c20c76c1875bb73c282cd99b612c48e3c5d9e6a Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Tue, 6 Aug 2024 10:29:39 +0200
Subject: [PATCH] [gui] Removes a reference to the removed postdominators
 plugin.

---
 src/plugins/gui/help_manager.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/plugins/gui/help_manager.ml b/src/plugins/gui/help_manager.ml
index d5e9ba63a56..590c2bdf8a9 100644
--- a/src/plugins/gui/help_manager.ml
+++ b/src/plugins/gui/help_manager.ml
@@ -79,7 +79,7 @@ let show main_ui =
   let copyright (* should be automatically generated *) =
     "\t © CEA and INRIA for the Frama-C kernel\n\
      \t © CEA for the GUI and plug-ins constant propagation, from, inout, impact, \
-     metrics, occurrence pdg, postdominators, scope, security_slicing, \
+     metrics, occurrence pdg, scope, security_slicing, \
      semantic callgraph, slicing, sparecode, syntactic callgraph, users and value.\n\
      \n\
      See the particular header of each source file for details."
-- 
GitLab