diff options
Diffstat (limited to 'src/libraries.adb')
| -rw-r--r-- | src/libraries.adb | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/libraries.adb b/src/libraries.adb index cf2d68da6..da48239f3 100644 --- a/src/libraries.adb +++ b/src/libraries.adb @@ -1168,6 +1168,7 @@ package body Libraries is end if; if Design_File /= Null_Iir + and then New_Lib_Checksum /= No_File_Checksum_Id and then not Files_Map.Is_Eq (New_Lib_Checksum, Get_File_Checksum (Design_File)) then |