diff options
Diffstat (limited to 'src/files_map.adb')
| -rw-r--r-- | src/files_map.adb | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/src/files_map.adb b/src/files_map.adb index f4927e8db..707152080 100644 --- a/src/files_map.adb +++ b/src/files_map.adb @@ -544,10 +544,8 @@ package body Files_Map is return Res; end Get_Os_Time_Stamp; - function Get_Pathname (Directory : Name_Id; - Name: Name_Id; - Add_Nul : Boolean) - return String + function Get_Pathname + (Directory : Name_Id; Name : Name_Id; Add_Nul : Boolean) return String is L : Natural; begin |