diff options
| author | Tristan Gingold | 2014-12-15 20:26:46 +0100 |
|---|---|---|
| committer | Tristan Gingold | 2014-12-15 20:26:46 +0100 |
| commit | 4b9aaf248b05d911bab756c683be500c78d6f534 (patch) | |
| tree | 0f9570b137c1619aac31299adcd69d087fa00233 /src/files_map.adb | |
| parent | 6d2b8c7bfcbd534406243093d1ec5e77ac4c8484 (diff) | |
| download | ghdl-4b9aaf248b05d911bab756c683be500c78d6f534.tar.gz ghdl-4b9aaf248b05d911bab756c683be500c78d6f534.tar.bz2 ghdl-4b9aaf248b05d911bab756c683be500c78d6f534.zip | |
Fix style.
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 f4927e8..7071520 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 |