| commit | f01abce7c05d89259743f753ba2b6c352e3ae7b0 | [log] [tgz] |
|---|---|---|
| author | Nico Huber <nico.huber@secunet.com> | Tue Jan 23 16:18:33 2024 +0100 |
| committer | Nico Huber <nico.huber@secunet.com> | Tue Jan 23 16:18:33 2024 +0100 |
| tree | 2879eda4ce7f06629b9a5b8543d004ad2b23a3a3 | |
| parent | a68ee40e5d10bc5f41842e38fde2471f4d3fb6bf [diff] [blame] |
FILO.Blockdev.Read: Call devread() (not devopen())
diff --git a/src/filo-blockdev.ads b/src/filo-blockdev.ads index 0233f88..d738d75 100644 --- a/src/filo-blockdev.ads +++ b/src/filo-blockdev.ads
@@ -22,6 +22,6 @@ SPARK_Mode => Off, Import => True, Convention => C, - External_Name => "devopen"; + External_Name => "devread"; end FILO.Blockdev;