diff options
Diffstat (limited to 'src/files_map.ads')
| -rw-r--r-- | src/files_map.ads | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/src/files_map.ads b/src/files_map.ads index b6054c906..f09e5b6e0 100644 --- a/src/files_map.ads +++ b/src/files_map.ads @@ -32,9 +32,7 @@ package Files_Map is -- Create the path from DIRECTORY and NAME: -- If NAME is an absolute pathname, then return NAME. -- Otherwise, return the concatenation of DIRECTORY and NAME. - -- If ADD_NUL is TRUE, then a trailing '\0' is appended. - function Get_Pathname - (Directory : Name_Id; Name : Name_Id; Add_Nul : Boolean) return String; + function Get_Pathname (Directory : Name_Id; Name : Name_Id) return String; -- If NAME contains a directory separator, move it to the DIRECTORY name. -- At the return point, NAME has no directory components. |