aboutsummaryrefslogtreecommitdiff
path: root/gcc/ada/a-cihama.ads
diff options
context:
space:
mode:
Diffstat (limited to 'gcc/ada/a-cihama.ads')
-rw-r--r--gcc/ada/a-cihama.ads8
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;