diff options
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 c73ffbe6c..c6525bd65 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; |