[Ada] Fix SPARK expansion of iterated_component_assoc in delta aggregate

gcc/ada/

	* exp_spark.adb (Expand_SPARK_Delta_Or_Update): Add missing call
	to Enter_Name, just like it is called for
	iterated_component_association in Expand_SPARK_N_Aggregate.

diff --git a/gcc/ada/exp_spark.adb b/gcc/ada/exp_spark.adb
index 5e1fac210b7d16e3f961b47784f82c336436e92d..3041c736a2ffae0d88538cb2b6de8144092db3aa 100644 (file)
--- a/gcc/ada/exp_spark.adb
+++ b/gcc/ada/exp_spark.adb
@@ -227,6 +227,7 @@ package body Exp_SPARK is
 
                if Nkind (Assoc) = N_Iterated_Component_Association then
                   Push_Scope (Scope (Defining_Identifier (Assoc)));
+                  Enter_Name (Defining_Identifier (Assoc));
                   Analyze_And_Resolve (Expr, Comp_Type);
                end if;