diff options
Diffstat (limited to 'gcc/ada/sem_ch8.adb')
| -rw-r--r-- | gcc/ada/sem_ch8.adb | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/gcc/ada/sem_ch8.adb b/gcc/ada/sem_ch8.adb index 792b85ffab2..070d38a93c2 100644 --- a/gcc/ada/sem_ch8.adb +++ b/gcc/ada/sem_ch8.adb @@ -7400,6 +7400,7 @@ package body Sem_Ch8 is Check_Policy_List := SST.Save_Check_Policy_List; Default_Pool := SST.Save_Default_Storage_Pool; SPARK_Mode := SST.Save_SPARK_Mode; + SPARK_Mode_Pragma := SST.Save_SPARK_Mode_Pragma; if Debug_Flag_W then Write_Str ("<-- exiting scope: "); @@ -7474,6 +7475,7 @@ package body Sem_Ch8 is SST.Save_Check_Policy_List := Check_Policy_List; SST.Save_Default_Storage_Pool := Default_Pool; SST.Save_SPARK_Mode := SPARK_Mode; + SST.Save_SPARK_Mode_Pragma := SPARK_Mode_Pragma; if Scope_Stack.Last > Scope_Stack.First then SST.Component_Alignment_Default := Scope_Stack.Table |