diff --git a/gcc/ada/ChangeLog b/gcc/ada/ChangeLog
index 974ff3fb7e7..c4f4d47786e 100644
--- a/gcc/ada/ChangeLog
+++ b/gcc/ada/ChangeLog
@@ -1,3 +1,9 @@
+2011-08-04  Yannick Moy  <moy@adacore.com>
+
+	* sem_ch3.adb (Constrain_Enumeration, Constrain_Integer): remove
+	constraint that subtype must come from source code to be in ALFA, so
+	that anonymous subtypes can be in ALFA too.
+
 2011-08-04  Yannick Moy  <moy@adacore.com>
 
 	* sem_ch3.adb (Analyze_Object_Declaration): remove obsolete addition of
diff --git a/gcc/ada/sem_ch3.adb b/gcc/ada/sem_ch3.adb
index d43fd271a9a..ec14ece6448 100644
--- a/gcc/ada/sem_ch3.adb
+++ b/gcc/ada/sem_ch3.adb
@@ -11592,9 +11592,7 @@ package body Sem_Ch3 is
       --  entity of its subtype mark is in ALFA. This is reversed later if the
       --  range of the subtype is not static.
 
-      if Nkind (Original_Node (Parent (Def_Id))) = N_Subtype_Declaration
-        and then Is_In_ALFA (T)
-      then
+      if Is_In_ALFA (T) then
          Set_Is_In_ALFA (Def_Id);
       end if;
 
@@ -11824,9 +11822,7 @@ package body Sem_Ch3 is
       --  entity of its subtype mark is in ALFA. This is reversed later if the
       --  range of the subtype is not static.
 
-      if Nkind (Original_Node (Parent (Def_Id))) = N_Subtype_Declaration
-        and then Is_In_ALFA (T)
-      then
+      if Is_In_ALFA (T) then
          Set_Is_In_ALFA (Def_Id);
       end if;