diff options
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. |