From 9ef4ebe51b7290e363cedaf0c2cbf72ccef2443f Mon Sep 17 00:00:00 2001 From: Tristan Gingold Date: Fri, 14 Dec 2018 19:14:03 +0100 Subject: files_map: renaming for consistency. --- src/libraries.adb | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src/libraries.adb') diff --git a/src/libraries.adb b/src/libraries.adb index e6f091e0f..4a12f825e 100644 --- a/src/libraries.adb +++ b/src/libraries.adb @@ -608,8 +608,8 @@ package body Libraries is (Get_Identifier ("*libraries*")); Command_Source_File := Create_Virtual_Source_File (Get_Identifier ("*command line*")); - Command_Line_Location := Source_File_To_Location (Command_Source_File); - Library_Location := Source_File_To_Location (Library_Source_File); + Command_Line_Location := File_To_Location (Command_Source_File); + Library_Location := File_To_Location (Library_Source_File); end Create_Virtual_Locations; -- Note: the scanner shouldn't be in use, since this procedure uses it. -- cgit v1.2.3