diff options
Diffstat (limited to 'gcc/ada/lib-writ.adb')
| -rw-r--r-- | gcc/ada/lib-writ.adb | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/gcc/ada/lib-writ.adb b/gcc/ada/lib-writ.adb index 78a55ed8a59..eab4a10db28 100644 --- a/gcc/ada/lib-writ.adb +++ b/gcc/ada/lib-writ.adb @@ -461,6 +461,13 @@ package body Lib.Writ is Write_Info_Str (" O"); Write_Info_Char (OA_Setting (Unit_Num)); + if (Ekind (Uent) = E_Package + or else Ekind (Uent) = E_Package_Body) + and then Present (Finalizer (Uent)) + then + Write_Info_Str (" PF"); + end if; + if Is_Preelaborated (Uent) then Write_Info_Str (" PR"); end if; |