Remove the 'Set_Default_Target'

Author: HugoGGuerrier

lkql_checker/src/gnatcheck-projects.adb

@@ -778,17 +778,6 @@ package body Gnatcheck.Projects is
       GPR2.Project.Registry.Pack.Check_Attributes (+"Check");
    end Register_Tool_Attributes;
 
-   ------------------------
-   -- Set_Default_Target --
-   ------------------------
-
-   procedure Set_Default_Target is
-   begin
-      if not Gnatkp_Mode and then Should_Use_Codepeer_Target then
-         GPR2.KB.Set_Default_Target ("codepeer");
-      end if;
-   end Set_Default_Target;
-
    -------------------------
    -- Set_External_Values --
    -------------------------

lkql_checker/src/gnatcheck-projects.ads

@@ -327,10 +327,6 @@ package Gnatcheck.Projects is
    -- General project file processing --
    -------------------------------------
 
-   procedure Set_Default_Target;
-   --  If codepeer is on PATH, replaces default target with "codepeer",
-   --  does nothing in gnatkp mode.
-
    procedure Initialize_Environment;
    --  Initializes the environment for extracting the information from the
    --  project file. This includes setting the parameters specific for the

lkql_checker/src/gnatcheck_main.adb

@@ -462,8 +462,6 @@ begin
       end if;
    end if;
 
-   Gnatcheck.Projects.Set_Default_Target;
-
    --  If we have the project file specified as a tool parameter, analyze it.
 
    Gnatcheck.Projects.Process_Project_File (Gnatcheck_Prj);