diff options
Diffstat (limited to 'gcc/ada/a-cfinve.ads')
| -rw-r--r-- | gcc/ada/a-cfinve.ads | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gcc/ada/a-cfinve.ads b/gcc/ada/a-cfinve.ads index 17f6f7c22d0..e76ae8d8926 100644 --- a/gcc/ada/a-cfinve.ads +++ b/gcc/ada/a-cfinve.ads @@ -59,6 +59,7 @@ package Ada.Containers.Formal_Indefinite_Vectors with SPARK_Mode => On is pragma Annotate (GNATprove, External_Axiomatization); + pragma Annotate (CodePeer, Skip_Analysis); subtype Extended_Index is Index_Type'Base range Index_Type'First - 1 .. |