diff options
Diffstat (limited to 'gcc/ada/a-cfdlli.ads')
| -rw-r--r-- | gcc/ada/a-cfdlli.ads | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gcc/ada/a-cfdlli.ads b/gcc/ada/a-cfdlli.ads index e0b96a3..36e1869 100644 --- a/gcc/ada/a-cfdlli.ads +++ b/gcc/ada/a-cfdlli.ads @@ -66,6 +66,7 @@ package Ada.Containers.Formal_Doubly_Linked_Lists with SPARK_Mode is pragma Annotate (GNATprove, External_Axiomatization); + pragma Annotate (CodePeer, Skip_Analysis); type List (Capacity : Count_Type) is private with Iterable => (First => First, |