diff options
Diffstat (limited to 'gcc/ada/a-cihama.ads')
-rw-r--r-- | gcc/ada/a-cihama.ads | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/gcc/ada/a-cihama.ads b/gcc/ada/a-cihama.ads index b1b4630..6d0e883 100644 --- a/gcc/ada/a-cihama.ads +++ b/gcc/ada/a-cihama.ads @@ -198,13 +198,13 @@ private end record; procedure Write - (Stream : access Root_Stream_Type'Class; + (Stream : not null access Root_Stream_Type'Class; Item : Cursor); for Cursor'Write use Write; procedure Read - (Stream : access Root_Stream_Type'Class; + (Stream : not null access Root_Stream_Type'Class; Item : out Cursor); for Cursor'Read use Read; @@ -214,13 +214,13 @@ private Node => null); procedure Write - (Stream : access Root_Stream_Type'Class; + (Stream : not null access Root_Stream_Type'Class; Container : Map); for Map'Write use Write; procedure Read - (Stream : access Root_Stream_Type'Class; + (Stream : not null access Root_Stream_Type'Class; Container : out Map); for Map'Read use Read; |