| commit | 22173223f4d561746631bbe7099cd01293533e3f | [log] [tgz] |
|---|---|---|
| author | Nico Huber <nico.h@gmx.de> | Thu Dec 14 00:02:03 2023 +0100 |
| committer | Nico Huber <nico.h@gmx.de> | Thu Dec 14 00:08:59 2023 +0100 |
| tree | 5abe5f9c3fc2a1d77d02540baadaffbae2ddc915 | |
| parent | cdc0351958b431adb1fe9fa39f6f21c63214d62f [diff] [blame] |
Work around gnatprove trouble with >64-bit range type
diff --git a/src/filo.ads b/src/filo.ads index 6a9a4b8..6c21c8c 100644 --- a/src/filo.ads +++ b/src/filo.ads
@@ -4,7 +4,7 @@ package FILO is - type Blockdev_Length is range 0 .. Interfaces.Unsigned_64'Last; + type Blockdev_Length is range 0 .. Interfaces.Integer_64'Last; subtype Blockdev_Offset is Blockdev_Length range 0 .. Blockdev_Length'Last - 1; subtype Partition_Length is Blockdev_Length; subtype Partition_Offset is Blockdev_Offset;