diff options
Diffstat (limited to 'src/files_map.ads')
| -rw-r--r-- | src/files_map.ads | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/files_map.ads b/src/files_map.ads index 4f6ed2933..d2f2a0a4d 100644 --- a/src/files_map.ads +++ b/src/files_map.ads @@ -270,7 +270,8 @@ private -- The buffer containing the file. Source : File_Buffer_Acc; - -- Length of the file, which is less than the length of the buffer. + -- Position of the EOT character after the file. Also the length of + -- the file + 1, unless there is a gap. File_Length : Source_Ptr; Checksum : File_Checksum_Id; |