commit 691220d9ce83aeaa104bd144f7e31ef6f94e5ba9
author Nico Huber <nico.huber@secunet.com> Mon Dec 04 14:54:01 2023 +0100
committer Nico Huber <nico.huber@secunet.com> Mon Dec 04 14:54:01 2023 +0100
tree a2f08efc2c8261ef19834369eb235ce9cef65ba6
parent 51f604179f7134f184e1f97e4e863d6b044986e4

FS.FILO.VFS: Move `Convention => C` to spec

src/fs-filo-vfs.adb

diff --git a/src/fs-filo-vfs.adb b/src/fs-filo-vfs.adb
index 660a1cf..2c75549 100644
--- a/src/fs-filo-vfs.adb
+++ b/src/fs-filo-vfs.adb
@@ -5,8 +5,7 @@
 
 package body FS.FILO.VFS
 with
-   SPARK_Mode => Off,
-   Convention => C
+   SPARK_Mode => Off
 is
 
    State : T := Initial;

src/fs-filo-vfs.ads

diff --git a/src/fs-filo-vfs.ads b/src/fs-filo-vfs.ads
index 2b6dd52..7e756d7 100644
--- a/src/fs-filo-vfs.ads
+++ b/src/fs-filo-vfs.ads
@@ -47,7 +47,10 @@
       Pre => Is_Open (State),
       Post => Is_Open (State);
 
-package FS.FILO.VFS is
+package FS.FILO.VFS
+with
+   Convention => C
+is
 
    function C_Mount return int;