From c07a252a7ee56b92d8fee29e943f56c95bba3e73 Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Wed, 12 Dec 2018 18:40:25 +0100
Subject: libraries: use Get_Design_File_Source to get the file.

---
 src/libraries.adb | 6 ++----
 1 file changed, 2 insertions(+), 4 deletions(-)

(limited to 'src/libraries.adb')

diff --git a/src/libraries.adb b/src/libraries.adb
index da48239f3..e6f091e0f 100644
--- a/src/libraries.adb
+++ b/src/libraries.adb
@@ -1036,11 +1036,9 @@ package body Libraries is
 
       --  Set file time stamp.
       declare
-         File : Source_File_Entry;
-         Pos : Source_Ptr;
+         File : constant Source_File_Entry :=
+           Get_Design_File_Source (Get_Design_File (Unit));
       begin
-         Files_Map.Location_To_File_Pos (Get_Location (New_Library_Unit),
-                                         File, Pos);
          New_Lib_Checksum := Files_Map.Get_File_Checksum (File);
          File_Name := Files_Map.Get_File_Name (File);
          if GNAT.OS_Lib.Is_Absolute_Path (Image (File_Name)) then
-- 
cgit v1.2.3