Patchwork [Ada] Add overriding indicators

login
register
mail settings
Submitter Arnaud Charlet
Date Jan. 6, 2012, 2:49 p.m.
Message ID <20120106144933.GA17691@adacore.com>
Download mbox | patch
Permalink /patch/134652/
State New
Headers show

Comments

Arnaud Charlet - Jan. 6, 2012, 2:49 p.m.
This patch adds some missing overriding indicators.
No change in functionality

Tested on x86_64-pc-linux-gnu, committed on trunk

2012-01-06  Bob Duff  <duff@adacore.com>

	* s-rpc.ads (Read, Write): Add overriding indicators.

Patch

Index: s-rpc.ads
===================================================================
--- s-rpc.ads	(revision 182950)
+++ s-rpc.ads	(working copy)
@@ -52,12 +52,12 @@ 
      (Initial_Size : Ada.Streams.Stream_Element_Count) is new
        Ada.Streams.Root_Stream_Type with private;
 
-   procedure Read
+   overriding procedure Read
      (Stream : in out Params_Stream_Type;
       Item   : out Ada.Streams.Stream_Element_Array;
       Last   : out Ada.Streams.Stream_Element_Offset);
 
-   procedure Write
+   overriding procedure Write
      (Stream : in out Params_Stream_Type;
       Item   : Ada.Streams.Stream_Element_Array);