diff options
Diffstat (limited to 'gcc/ada/a-cforse.adb')
| -rw-r--r-- | gcc/ada/a-cforse.adb | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/gcc/ada/a-cforse.adb b/gcc/ada/a-cforse.adb index cf4e2ab1a36..42a8503f8a8 100644 --- a/gcc/ada/a-cforse.adb +++ b/gcc/ada/a-cforse.adb @@ -41,7 +41,6 @@ with System; use type System.Address; package body Ada.Containers.Formal_Ordered_Sets with SPARK_Mode => Off is - pragma Annotate (CodePeer, Skip_Analysis); ------------------------------ -- Access to Fields of Node -- |