diff --git a/ada/posix/hw-file.adb b/ada/posix/hw-file.adb
index dd9d7f3..9755d13 100644
--- a/ada/posix/hw-file.adb
+++ b/ada/posix/hw-file.adb
@@ -33,7 +33,9 @@
       off   : Word32;
       mode  : Word32;
       copy  : int)
-      return int;
+      return int
+   with
+      SPARK_Mode => Off;
    pragma Import (C, c_map, "hw_file_map");
 
    procedure Map