[gcc r16-1316] ada: Remove incorrect bits in Copy_Node documentation

[Marc Poulhies]

https://gcc.gnu.org/g:95da1ec42b9debc0c7c0ee1508dbc1493852b200

commit r16-1316-g95da1ec42b9debc0c7c0ee1508dbc1493852b200
Author: Ronan Desplanques <desplanques@adacore.com>
Date:   Fri Feb 28 11:50:30 2025 +0100

    ada: Remove incorrect bits in Copy_Node documentation
    
    This patch removes a leftover reference to the concept of node extension
    and a note about aspect specification that's been incorrect since at
    least the latest rework of aspect specification representation.
    
    gcc/ada/ChangeLog:
    
            * atree.ads (Copy_Node): Fix comment.

Diff:
---
 gcc/ada/atree.ads | 14 +++++---------
 1 file changed, 5 insertions(+), 9 deletions(-)

diff --git a/gcc/ada/atree.ads b/gcc/ada/atree.ads
index 760c63b9bea1..615d040c90a3 100644
--- a/gcc/ada/atree.ads
+++ b/gcc/ada/atree.ads
@@ -285,15 +285,11 @@ package Atree is
 
    procedure Copy_Node (Source, Destination : Node_Or_Entity_Id);
    --  Copy the entire contents of the source node to the destination node.
-   --  The contents of the source node is not affected. If the source node
-   --  has an extension, then the destination must have an extension also.
-   --  The parent pointer of the destination and its list link, if any, are
-   --  not affected by the copy. Note that parent pointers of descendants
-   --  are not adjusted, so the descendants of the destination node after
-   --  the Copy_Node is completed have dubious parent pointers. Note that
-   --  this routine does NOT copy aspect specifications, the Has_Aspects
-   --  flag in the returned node will always be False. The caller must deal
-   --  with copying aspect specifications where this is required.
+   --  The contents of the source node is not affected. The parent pointer of
+   --  the destination and its list link, if any, are not affected by the copy.
+   --  Note that parent pointers of descendants are not adjusted, so the
+   --  descendants of the destination node after the Copy_Node is completed
+   --  have dubious parent pointers.
 
    function New_Copy (Source : Node_Id) return Node_Id;
    --  This function allocates a new node, and then initializes it by copying