lkql_checker: remove useless references to gnatkp

Author: thvnx

lkql_checker/src/lkql_checker-diagnoses.adb

@@ -1922,8 +1922,7 @@ package body Lkql_Checker.Diagnoses is
    is
       Pragma_Name : constant Text_Type := To_Lower (El.F_Id.Text);
       Pragma_Args : constant LAL.Analysis.Base_Assoc_List := El.F_Args;
-      Tool_Name   : constant Text_Type :=
-        (if Mode = Gnatkp_Mode then "gnatkp" else "gnatcheck");
+      Tool_Name   : constant Text_Type := To_Text (Lkql_Checker_Mode_Image);
    begin
       return
         Pragma_Name in "annotate" | "gnat_annotate"

lkql_checker/src/lkql_checker-output.ads

@@ -16,7 +16,7 @@ package Lkql_Checker.Output is
    procedure Print_Version_Info;
    --  Prints into Stderr the tool version information in the following format:
    --
-   --  (gnatcheck|gnatkp) <version> (<date>)
+   --  <tool> <version> (<date>)
    --  Copyright (C) 2004-<current year>, AdaCore.
 
    procedure Report_Unhandled_Exception (Ex : Exception_Occurrence);