diff options
Diffstat (limited to 'gcc/ada/a-ciormu.adb')
-rw-r--r-- | gcc/ada/a-ciormu.adb | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/gcc/ada/a-ciormu.adb b/gcc/ada/a-ciormu.adb index f3af12e2785..f097fdc833b 100644 --- a/gcc/ada/a-ciormu.adb +++ b/gcc/ada/a-ciormu.adb @@ -1508,11 +1508,11 @@ package body Ada.Containers.Indefinite_Ordered_Multisets 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 @@ -1523,7 +1523,7 @@ package body Ada.Containers.Indefinite_Ordered_Multisets 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; begin @@ -1542,7 +1542,7 @@ package body Ada.Containers.Indefinite_Ordered_Multisets is end Read; procedure Read - (Stream : access Root_Stream_Type'Class; + (Stream : not null access Root_Stream_Type'Class; Item : out Cursor) is begin @@ -1823,11 +1823,11 @@ package body Ada.Containers.Indefinite_Ordered_Multisets 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); @@ -1839,7 +1839,7 @@ package body Ada.Containers.Indefinite_Ordered_Multisets is ---------------- procedure Write_Node - (Stream : access Root_Stream_Type'Class; + (Stream : not null access Root_Stream_Type'Class; Node : Node_Access) is begin @@ -1853,7 +1853,7 @@ package body Ada.Containers.Indefinite_Ordered_Multisets is end Write; procedure Write - (Stream : access Root_Stream_Type'Class; + (Stream : not null access Root_Stream_Type'Class; Item : Cursor) is begin |