[Ada] Add comment about function only used in CodePeer

2020-06-05  Yannick Moy  <moy@adacore.com>

gcc/ada/

	* sem_util.ads: Add comment about function only used in
	CodePeer.

diff --git a/gcc/ada/sem_util.ads b/gcc/ada/sem_util.ads
index 391711c7d01f45ffc076f24a0211abf66f5a1564..0ac89f7532e1cf0b81b61648a473d45a3eb49fab 100644 (file)
--- 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;