| commit | 3603eaa68ac81780850c8988294f0008f12cb6a3 | [log] [tgz] |
|---|---|---|
| author | Nico Huber <nico.h@gmx.de> | Fri Jan 26 23:53:46 2024 +0100 |
| committer | Nico Huber <nico.h@gmx.de> | Sun Jan 28 14:25:01 2024 +0100 |
| tree | 7498628706c5657821bec0811f0b836736fefef6 | |
| parent | 6fb3854e17ef08b93f422057f2a31c3b0bdf26fa [diff] [blame] |
nullfs: Use constants where possible
diff --git a/src/filo-fs-nullfs.adb b/src/filo-fs-nullfs.adb index 105e985..dc0ca28 100644 --- a/src/filo-fs-nullfs.adb +++ b/src/filo-fs-nullfs.adb
@@ -64,7 +64,7 @@ is use FILO.FS; Buffer : Buffer_Type (0 .. Integer(len) - 1) with Address => buf; - Offset : Natural := Natural(File_Pos); + Offset : constant Natural := Natural(File_Pos); Success : Boolean; begin Read (Global_NullFS, Buffer, Offset, Success);