diff options
Diffstat (limited to 'gcc/ada/exp_ch9.adb')
| -rw-r--r-- | gcc/ada/exp_ch9.adb | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/gcc/ada/exp_ch9.adb b/gcc/ada/exp_ch9.adb index f292b96..6d35eb1 100644 --- a/gcc/ada/exp_ch9.adb +++ b/gcc/ada/exp_ch9.adb @@ -1934,7 +1934,8 @@ package body Exp_Ch9 is while Present (P) loop if Pragma_Name (P) = Name_Precondition - or else Pragma_Name (P) = Name_Postcondition + or else + Pragma_Name (P) = Name_Postcondition then Append (Relocate_Node (P), Decls); Set_Analyzed (Last (Decls), False); |