diff options
author | Tristan Gingold <tgingold@free.fr> | 2018-11-25 20:07:00 +0100 |
---|---|---|
committer | Tristan Gingold <tgingold@free.fr> | 2018-11-26 20:19:15 +0100 |
commit | 44404214d370d226428e315da946d41ccf141507 (patch) | |
tree | 5741a66f5e0def695965664dbe0397e309a2cfad /src/files_map.adb | |
parent | d570ee98eaa200cc1bbf481035aa3bb1680504db (diff) | |
download | ghdl-44404214d370d226428e315da946d41ccf141507.tar.gz ghdl-44404214d370d226428e315da946d41ccf141507.tar.bz2 ghdl-44404214d370d226428e315da946d41ccf141507.zip |
Keep source file entry in design file to avoid searching the file.
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; |