From c0ab680648a1d803d9e1d7f5e51988a70e5be41a Mon Sep 17 00:00:00 2001 From: Tristan Gingold Date: Tue, 18 Dec 2018 06:32:47 +0100 Subject: files_map: rename Get_Source_File_Directory to Get_Directory_Name. --- src/ghdldrv/ghdlprint.adb | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/ghdldrv') diff --git a/src/ghdldrv/ghdlprint.adb b/src/ghdldrv/ghdlprint.adb index 513e68baa..63acd06f3 100644 --- a/src/ghdldrv/ghdlprint.adb +++ b/src/ghdldrv/ghdlprint.adb @@ -1640,7 +1640,7 @@ package body Ghdlprint is if Loc_File /= Cur_File then Cur_File := Loc_File; Put ("XFILE: "); - Dir := Get_Source_File_Directory (Cur_File); + Dir := Get_Directory_Name (Cur_File); if Dir /= Null_Identifier then Put (Image (Dir)); end if; -- cgit v1.2.3