diff options
Diffstat (limited to 'gcc/ada/libgnat/a-convec.ads')
| -rw-r--r-- | gcc/ada/libgnat/a-convec.ads | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/gcc/ada/libgnat/a-convec.ads b/gcc/ada/libgnat/a-convec.ads index 8ad31a2..7b2e176 100644 --- a/gcc/ada/libgnat/a-convec.ads +++ b/gcc/ada/libgnat/a-convec.ads @@ -70,7 +70,9 @@ generic -- number of calls of this generic formal function by the functions defined -- to use it are unspecified. -package Ada.Containers.Vectors is +package Ada.Containers.Vectors with + SPARK_Mode => Off +is pragma Annotate (CodePeer, Skip_Analysis); pragma Preelaborate; pragma Remote_Types; |