diff options
| author | Vicente Bergas <vicencb@users.noreply.github.com> | 2018-05-03 19:28:49 +0200 |
|---|---|---|
| committer | tgingold <tgingold@users.noreply.github.com> | 2018-05-03 20:50:44 +0200 |
| commit | 252a9169efef06b03061b58743be41e233a80ddb (patch) | |
| tree | 2c06fc390c75c0c5f1e6b33755f08b5638a2ee90 /src/libraries.adb | |
| parent | b709733aa8df0671ff77bc57636702f8a6e00800 (diff) | |
| download | ghdl-252a9169efef06b03061b58743be41e233a80ddb.tar.gz ghdl-252a9169efef06b03061b58743be41e233a80ddb.tar.bz2 ghdl-252a9169efef06b03061b58743be41e233a80ddb.zip | |
Fix warning: use clause for package has no effect
With gcc 8.1 the following message appears:
warning: use clause for package "*" has no effect
gnatmake: "*.adb" compilation error
This patch fixes it.
Diffstat (limited to 'src/libraries.adb')
| -rw-r--r-- | src/libraries.adb | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/libraries.adb b/src/libraries.adb index ca9616571..61f603b66 100644 --- a/src/libraries.adb +++ b/src/libraries.adb @@ -1523,7 +1523,6 @@ package body Libraries is -- FIXME: It may fail if they aren't on the same filesystem, but we -- could assume it doesn't happen (humm...) declare - use Files_Map; File_Name: constant String := Image (Work_Directory) & Library_To_File_Name (Library) & ASCII.NUL; Delete_Success : Boolean; |