commit 3da21473e64edea35dadb10f7b7b663f3816cc8a
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

VFS: Satisfy GNATprove and No_Secondary_Stack

src/filo-fs-ext2.adb

diff --git a/src/filo-fs-ext2.adb b/src/filo-fs-ext2.adb
index 9cd9c7a..ccc8b31 100644
--- a/src/filo-fs-ext2.adb
+++ b/src/filo-fs-ext2.adb
@@ -11,7 +11,6 @@
 with System;
 with Interfaces;
 with Interfaces.C;
-with Interfaces.C.Strings;
 
 with FILO.Blockdev;
 with FILO.FS.VFS;
@@ -947,12 +946,12 @@
       return C.C_Mount;
    end C_Mount;
 
-   function C_Open (File_Path : Strings.chars_ptr) return int
+   function C_Open (File_Path : System.Address) return int
    with
       Export,
       Convention => C,
       External_Name => "ext2fs_dir";
-   function C_Open (File_Path : Strings.chars_ptr) return int
+   function C_Open (File_Path : System.Address) return int
    with
       SPARK_Mode => Off
    is