From 9f22a5ebaf00ca4c7c2500e550047aa72b31fbcf Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Wed, 12 Dec 2018 18:25:04 +0100
Subject: libraries: handle files without checksum.

---
 src/libraries.adb | 1 +
 1 file changed, 1 insertion(+)

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
-- 
cgit v1.2.3