diff options
Diffstat (limited to 'gcc/ada/a-coorse.adb')
-rw-r--r-- | gcc/ada/a-coorse.adb | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/gcc/ada/a-coorse.adb b/gcc/ada/a-coorse.adb index d407feadfd1..3cd02332c3c 100644 --- a/gcc/ada/a-coorse.adb +++ b/gcc/ada/a-coorse.adb @@ -1297,11 +1297,11 @@ package body Ada.Containers.Ordered_Sets is ---------- procedure Read - (Stream : access Root_Stream_Type'Class; + (Stream : not null access Root_Stream_Type'Class; Container : out Set) is function Read_Node - (Stream : access Root_Stream_Type'Class) return Node_Access; + (Stream : not null access Root_Stream_Type'Class) return Node_Access; pragma Inline (Read_Node); procedure Read is @@ -1312,7 +1312,7 @@ package body Ada.Containers.Ordered_Sets is --------------- function Read_Node - (Stream : access Root_Stream_Type'Class) return Node_Access + (Stream : not null access Root_Stream_Type'Class) return Node_Access is Node : Node_Access := new Node_Type; @@ -1333,7 +1333,7 @@ package body Ada.Containers.Ordered_Sets is end Read; procedure Read - (Stream : access Root_Stream_Type'Class; + (Stream : not null access Root_Stream_Type'Class; Item : out Cursor) is begin @@ -1618,11 +1618,11 @@ package body Ada.Containers.Ordered_Sets is ----------- procedure Write - (Stream : access Root_Stream_Type'Class; + (Stream : not null access Root_Stream_Type'Class; Container : Set) is procedure Write_Node - (Stream : access Root_Stream_Type'Class; + (Stream : not null access Root_Stream_Type'Class; Node : Node_Access); pragma Inline (Write_Node); @@ -1634,7 +1634,7 @@ package body Ada.Containers.Ordered_Sets is ---------------- procedure Write_Node - (Stream : access Root_Stream_Type'Class; + (Stream : not null access Root_Stream_Type'Class; Node : Node_Access) is begin @@ -1648,7 +1648,7 @@ package body Ada.Containers.Ordered_Sets is end Write; procedure Write - (Stream : access Root_Stream_Type'Class; + (Stream : not null access Root_Stream_Type'Class; Item : Cursor) is begin |