diff options
| -rw-r--r-- | src/libraries.adb | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/libraries.adb b/src/libraries.adb index cbdca93c0..93f3f772c 100644 --- a/src/libraries.adb +++ b/src/libraries.adb @@ -1156,7 +1156,7 @@ package body Libraries is end if; Warning_Msg_Sem (Warnid_Library, +Unit, - "library unit %i was also defined in file %i", + "%n was also defined in file %i", (+Library_Unit, +Get_Design_File_Filename (Design_File))); end if; end if; |