[Ada] AI12-0144 Make Discrete_Random more flexible
authorArnaud Charlet <charlet@adacore.com>
Fri, 31 Jan 2020 10:47:01 +0000 (05:47 -0500)
committerPierre-Marie de Rodat <derodat@adacore.com>
Fri, 5 Jun 2020 12:17:38 +0000 (08:17 -0400)
commitc3c80e3c3adde1f96d9f5070eccf1184a97ce2cd
tree04376eef14439354af8c1f121015b970afa8f6ac
parent61fa3fd79ff9bf41651ca99f2f13902e91ca736d
[Ada] AI12-0144 Make Discrete_Random more flexible

2020-06-05  Arnaud Charlet  <charlet@adacore.com>

gcc/ada/

* libgnat/a-nudira.ads, libgnat/a-nudira.adb (Random): New
function.
gcc/ada/libgnat/a-nudira.adb
gcc/ada/libgnat/a-nudira.ads