From ca124a628569b6f3038223b690d051f9ab5344f1 Mon Sep 17 00:00:00 2001 From: Yannick Moy Date: Mon, 3 Feb 2020 16:30:34 +0100 Subject: [PATCH] [Ada] Add comment about function only used in CodePeer 2020-06-05 Yannick Moy gcc/ada/ * sem_util.ads: Add comment about function only used in CodePeer. --- gcc/ada/sem_util.ads | 1 + 1 file changed, 1 insertion(+) diff --git a/gcc/ada/sem_util.ads b/gcc/ada/sem_util.ads index 391711c7d01..0ac89f7532e 100644 --- a/gcc/ada/sem_util.ads +++ b/gcc/ada/sem_util.ads @@ -1251,6 +1251,7 @@ package Sem_Util is -- * A task type -- * A private type with pragma Default_Initial_Condition that provides -- full default initialization. + -- This function is not used in GNATprove anymore, but is used in CodePeer. function Has_Fully_Default_Initializing_DIC_Pragma (Typ : Entity_Id) return Boolean; -- 2.30.2