2008-05-29 Javier Miranda <miranda@adacore.com>

	* sem_util.adb:
	(Abstract_Interface_List): Add missing support for full type-declaration
	associated with synchronized types.

From-SVN: r136143

gcc/ada/sem_util.adb

@@ -99,6 +99,10 @@ package body Sem_Util is
 
          Nod := Parent (Base_Type (Typ));
 
+         if Nkind (Nod) = N_Full_Type_Declaration then
+            return Empty_List;
+         end if;
+
       elsif Ekind (Typ) = E_Record_Type_With_Private then
          if Nkind (Parent (Typ)) = N_Full_Type_Declaration then
             Nod := Type_Definition (Parent (Typ));