diff options
Diffstat (limited to 'gcc/ada/a-crbtgo.ads')
| -rw-r--r-- | gcc/ada/a-crbtgo.ads | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/gcc/ada/a-crbtgo.ads b/gcc/ada/a-crbtgo.ads index 0415f5be2de..a55e65f8e89 100644 --- a/gcc/ada/a-crbtgo.ads +++ b/gcc/ada/a-crbtgo.ads @@ -137,10 +137,10 @@ package Ada.Containers.Red_Black_Trees.Generic_Operations is generic with procedure Write_Node - (Stream : access Root_Stream_Type'Class; + (Stream : not null access Root_Stream_Type'Class; Node : Node_Access); procedure Generic_Write - (Stream : access Root_Stream_Type'Class; + (Stream : not null access Root_Stream_Type'Class; Tree : Tree_Type); -- Used to implement stream attribute T'Write. Generic_Write -- first writes the number of nodes into Stream, then calls @@ -149,9 +149,9 @@ package Ada.Containers.Red_Black_Trees.Generic_Operations is generic with procedure Clear (Tree : in out Tree_Type); with function Read_Node - (Stream : access Root_Stream_Type'Class) return Node_Access; + (Stream : not null access Root_Stream_Type'Class) return Node_Access; procedure Generic_Read - (Stream : access Root_Stream_Type'Class; + (Stream : not null access Root_Stream_Type'Class; Tree : in out Tree_Type); -- Used to implement stream attribute T'Read. Generic_Read -- first clears Tree. It then reads the number of nodes out of |