diff options
| author | gingold | 2010-01-12 03:15:20 +0000 |
|---|---|---|
| committer | gingold | 2010-01-12 03:15:20 +0000 |
| commit | fb5957a16dea47ae4021c5d4c57b980cea02ee59 (patch) | |
| tree | abdfbed5924f5be4418f74a0afe50b248e41c330 /files_map.adb | |
| parent | 8cca0b24e2c19eedecffdeec89a8a2898da1e362 (diff) | |
| download | ghdl-fb5957a16dea47ae4021c5d4c57b980cea02ee59.tar.gz ghdl-fb5957a16dea47ae4021c5d4c57b980cea02ee59.tar.bz2 ghdl-fb5957a16dea47ae4021c5d4c57b980cea02ee59.zip | |
ghdl 0.29 release.
Diffstat (limited to 'files_map.adb')
| -rw-r--r-- | files_map.adb | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/files_map.adb b/files_map.adb index c73ffbe..c6525bd 100644 --- a/files_map.adb +++ b/files_map.adb @@ -880,8 +880,8 @@ package body Files_Map is if Ts = Null_Time_Stamp then return "NULL_TS"; else - return Str_Table.Get_String_Fat_Acc (String_Id (Ts)) - (1 .. Time_Stamp_String'Length); + return String (Str_Table.Get_String_Fat_Acc (String_Id (Ts)) + (1 .. Time_Stamp_String'Length)); end if; end Get_Time_Stamp_String; |