diff options
author | Tristan Gingold <tgingold@free.fr> | 2017-10-05 20:41:43 +0200 |
---|---|---|
committer | Tristan Gingold <tgingold@free.fr> | 2017-10-05 20:41:43 +0200 |
commit | f3927d7bcc1540f8ea194b04b302260b03112de6 (patch) | |
tree | 61e9eda4d786d339e37bb8a0d04d714167cfe50f /src/files_map.ads | |
parent | dad47583a6781fcfb3fdba82c36892331fc4bffd (diff) | |
download | ghdl-f3927d7bcc1540f8ea194b04b302260b03112de6.tar.gz ghdl-f3927d7bcc1540f8ea194b04b302260b03112de6.tar.bz2 ghdl-f3927d7bcc1540f8ea194b04b302260b03112de6.zip |
files_map: rename Load_Source_File to Read_Source_File.
Diffstat (limited to 'src/files_map.ads')
-rw-r--r-- | src/files_map.ads | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/files_map.ads b/src/files_map.ads index a29159db2..b6054c906 100644 --- a/src/files_map.ads +++ b/src/files_map.ads @@ -45,7 +45,7 @@ package Files_Map is -- current directory. -- Load the filename if necessary. -- Return No_Source_File_Entry if the file does not exist. - function Load_Source_File (Directory : Name_Id; Name : Name_Id) + function Read_Source_File (Directory : Name_Id; Name : Name_Id) return Source_File_Entry; -- Each file in memory has two terminal EOT. |