[Ada] Add SPARK_Mode => Off to System.File_Control_Block

gcc/ada/

	* libgnat/s-ficobl.ads: The entire package has a SPARK_Mode =>
	Off aspect.

diff --git a/gcc/ada/libgnat/s-ficobl.ads b/gcc/ada/libgnat/s-ficobl.ads
index 6fff2daa8c3d43729ee9036e17c67b98f2cc7dd7..4e970791c7ea769fdfdfc47e93cc46141eb6a187 100644 (file)
--- a/gcc/ada/libgnat/s-ficobl.ads
+++ b/gcc/ada/libgnat/s-ficobl.ads
@@ -39,7 +39,7 @@ with Ada.Streams;
 with Interfaces.C_Streams;
 with System.CRTL;
 
-package System.File_Control_Block is
+package System.File_Control_Block with SPARK_Mode => Off is
    pragma Preelaborate;
 
    ----------------------------