diff options
Diffstat (limited to 'src/files_map.adb')
| -rw-r--r-- | src/files_map.adb | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/files_map.adb b/src/files_map.adb index 5f16983ed..999b0468d 100644 --- a/src/files_map.adb +++ b/src/files_map.adb @@ -716,10 +716,10 @@ package body Files_Map is Buffer : File_Buffer_Acc; begin - -- If the file is already loaded, nothing to do! + -- The file is not supposed to be already loaded, but this could happen + -- if the same file is compiled in two libraries. Res := Find_Source_File (Directory, Name); if Res /= No_Source_File_Entry then - pragma Assert (Source_Files.Table (Res).Source /= null); return Res; end if; |