[Ada] GNAT.Sockets: remove default level in Get/Set_Socket_Option
authorDmitriy Anisimkov <anisimko@adacore.com>
Mon, 8 Jul 2019 08:12:51 +0000 (08:12 +0000)
committerPierre-Marie de Rodat <pmderodat@gcc.gnu.org>
Mon, 8 Jul 2019 08:12:51 +0000 (08:12 +0000)
commit0a90412010e4bd535df8c35d4bce95f321ebb6be
treebac81ea8b7b0892352bb0a1af3a52b36dd9a3ea0
parente87f67eb5d8671bc7c98dbf10106fda34114b293
[Ada] GNAT.Sockets: remove default level in Get/Set_Socket_Option

2019-07-08  Dmitriy Anisimkov  <anisimko@adacore.com>

gcc/ada/

* libgnat/g-socket.ads, libgnat/g-socket.adb: Improve
documentation.
(Get_Socket_Option, Set_Socket_Option): Remove default value for
the Level formal.

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