diff options
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; |