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;