g-socket.ads, [...] (Get_Address): Make Stream a "not null" parameter.
authorSamuel Tardieu <sam@rfc1149.net>
Thu, 17 Apr 2008 09:28:55 +0000 (09:28 +0000)
committerSamuel Tardieu <sam@gcc.gnu.org>
Thu, 17 Apr 2008 09:28:55 +0000 (09:28 +0000)
commit35485e124cb43114a6c634ce37d8a8c709000cc3
treea3478002edcfd090497f1098a3226f5b3ca48068
parent111c1cd945f6ba16f5e614e299d7b297961252cf
g-socket.ads, [...] (Get_Address): Make Stream a "not null" parameter.

    gcc/ada/
* g-socket.ads, g-socket.adb (Get_Address): Make Stream a
"not null" parameter.

From-SVN: r134386
gcc/ada/ChangeLog
gcc/ada/g-socket.adb
gcc/ada/g-socket.ads