diff options
Diffstat (limited to 'gcc/ada/a-coormu.adb')
| -rw-r--r-- | gcc/ada/a-coormu.adb | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/gcc/ada/a-coormu.adb b/gcc/ada/a-coormu.adb index 912bde39025..8000c991110 100644 --- a/gcc/ada/a-coormu.adb +++ b/gcc/ada/a-coormu.adb @@ -1425,11 +1425,11 @@ package body Ada.Containers.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 @@ -1440,7 +1440,7 @@ package body Ada.Containers.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 @@ -1459,7 +1459,7 @@ package body Ada.Containers.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 @@ -1729,11 +1729,11 @@ package body Ada.Containers.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); @@ -1745,7 +1745,7 @@ package body Ada.Containers.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 @@ -1759,7 +1759,7 @@ package body Ada.Containers.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 |