diff options
Diffstat (limited to 'gcc/ada/a-coinho-shared.adb')
| -rw-r--r-- | gcc/ada/a-coinho-shared.adb | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/gcc/ada/a-coinho-shared.adb b/gcc/ada/a-coinho-shared.adb index 9dd5b2f18cc..81732b9f551 100644 --- a/gcc/ada/a-coinho-shared.adb +++ b/gcc/ada/a-coinho-shared.adb @@ -36,8 +36,6 @@ with Ada.Unchecked_Deallocation; package body Ada.Containers.Indefinite_Holders is - pragma Annotate (CodePeer, Skip_Analysis); - procedure Free is new Ada.Unchecked_Deallocation (Element_Type, Element_Access); |