diff options
| -rw-r--r-- | gcc/ada/sem_prag.adb | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gcc/ada/sem_prag.adb b/gcc/ada/sem_prag.adb index a46f52f..2ccaaa2 100644 --- a/gcc/ada/sem_prag.adb +++ b/gcc/ada/sem_prag.adb @@ -2385,7 +2385,7 @@ package body Sem_Prag is if Ekind (Item_Id) in Named_Kind then SPARK_Msg_NE - ("\named number & is not an object", Item, Item); + ("\named number & is not an object", Item, Item_Id); end if; return; |