summaryrefslogtreecommitdiff
path: root/gcc/ada/s-finroo.ads
diff options
context:
space:
mode:
Diffstat (limited to 'gcc/ada/s-finroo.ads')
-rw-r--r--gcc/ada/s-finroo.ads11
1 files changed, 7 insertions, 4 deletions
diff --git a/gcc/ada/s-finroo.ads b/gcc/ada/s-finroo.ads
index ed1be45ab4a..f9847eb5818 100644
--- a/gcc/ada/s-finroo.ads
+++ b/gcc/ada/s-finroo.ads
@@ -61,10 +61,13 @@ package System.Finalization_Root is
procedure Finalize (Object : in out Root_Controlled);
procedure Adjust (Object : in out Root_Controlled);
- procedure Write (Stream : access Ada.Streams.Root_Stream_Type'Class;
- Item : in Root_Controlled);
- procedure Read (Stream : access Ada.Streams.Root_Stream_Type'Class;
- Item : out Root_Controlled);
+ procedure Write
+ (Stream : not null access Ada.Streams.Root_Stream_Type'Class;
+ Item : in Root_Controlled);
+
+ procedure Read
+ (Stream : not null access Ada.Streams.Root_Stream_Type'Class;
+ Item : out Root_Controlled);
for Root_Controlled'Read use Read;
for Root_Controlled'Write use Write;