| commit | f983931767e2beb648b86f3620941e444943d1bf | [log] [tgz] |
|---|---|---|
| author | Nico Huber <nico.huber@secunet.com> | Mon Dec 04 15:20:43 2023 +0100 |
| committer | Nico Huber <nico.huber@secunet.com> | Mon Dec 04 15:20:43 2023 +0100 |
| tree | cc43dccd1ee0bd8c5dd64d8a7928366fde9ebec1 | |
| parent | 3ec689d9c900e988018a992f5e84d8aa06190bb0 [diff] |
FS.FILO: Allow File_Offset of full File_Length
diff --git a/src/fs-filo.ads b/src/fs-filo.ads index fb836fc..d8b5998 100644 --- a/src/fs-filo.ads +++ b/src/fs-filo.ads
@@ -8,7 +8,7 @@ type Partition_Length is range 0 .. Interfaces.Unsigned_64'Last; type File_Length is range 0 .. int'Last; -- Should be higher, fix FILO first - subtype File_Offset is File_Length range 0 .. File_Length'Last - 1; + subtype File_Offset is File_Length; private function Part_Len return Partition_Length;