| commit | 3da21473e64edea35dadb10f7b7b663f3816cc8a | [log] [tgz] |
|---|---|---|
| author | Nico Huber <nico.huber@secunet.com> | Mon Dec 18 15:43:35 2023 +0100 |
| committer | Nico Huber <nico.huber@secunet.com> | Mon Dec 18 15:44:15 2023 +0100 |
| tree | 83c450fa126d24afb25a1dc9d01db1dedc090409 | |
| parent | 89d0594709a30f9f9998980351a9cd03bd9a5c3a [diff] [blame] |
VFS: Satisfy GNATprove and No_Secondary_Stack
diff --git a/src/filo-fs-vfs.ads b/src/filo-fs-vfs.ads index 5ae086c..55c309a 100644 --- a/src/filo-fs-vfs.ads +++ b/src/filo-fs-vfs.ads
@@ -59,7 +59,7 @@ function C_Mount return int; - function C_Open (File_Path : Strings.chars_ptr) return int; + function C_Open (File_Path : System.Address) return int; procedure C_Close; function C_Read (Buf : System.Address; Len : int) return int;