| commit | 691220d9ce83aeaa104bd144f7e31ef6f94e5ba9 | [log] [tgz] |
|---|---|---|
| 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 [diff] [blame] |
FS.FILO.VFS: Move `Convention => C` to spec
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;