diff options
author | Tristan Gingold <tgingold@free.fr> | 2015-02-14 07:07:38 +0100 |
---|---|---|
committer | Tristan Gingold <tgingold@free.fr> | 2015-02-14 07:07:38 +0100 |
commit | 54b28e858d32e4afa079ab3af086e99ad54becf6 (patch) | |
tree | 48423ef5a62c8ba7dae9897d25e869be6c5ad9d6 /src/files_map.ads | |
parent | 35e2f4cdd1ddcc663daed30681c24494824eb13e (diff) | |
download | ghdl-54b28e858d32e4afa079ab3af086e99ad54becf6.tar.gz ghdl-54b28e858d32e4afa079ab3af086e99ad54becf6.tar.bz2 ghdl-54b28e858d32e4afa079ab3af086e99ad54becf6.zip |
str_table: pack elements to reduce size.
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 c58161e39..cc317fdfb 100644 --- a/src/files_map.ads +++ b/src/files_map.ads @@ -78,7 +78,7 @@ package Files_Map is -- Return the directory of the file. function Get_Source_File_Directory (File : Source_File_Entry) - return Name_Id; + return Name_Id; -- Return the name of the file. function Get_File_Name (File : Source_File_Entry) return Name_Id; |