[Ada] Fix Global contract for the predefined Yield procedure
authorPiotr Trojanek <trojanek@adacore.com>
Thu, 12 Dec 2019 10:03:06 +0000 (10:03 +0000)
committerPierre-Marie de Rodat <pmderodat@gcc.gnu.org>
Thu, 12 Dec 2019 10:03:06 +0000 (10:03 +0000)
commitddb677163af059a8b16f53d9f6ebaf7af774f0e3
tree9f8a59807f7480327b1d9f9ed839dfeb61f05f4e
parent604801a4a689414e1dd264dced60b00d4e7517a5
[Ada] Fix Global contract for the predefined Yield procedure

2019-12-12  Piotr Trojanek  <trojanek@adacore.com>

gcc/ada/

* libgnarl/a-dispat.ads (Yield): Update Global contract.

From-SVN: r279295
gcc/ada/ChangeLog
gcc/ada/libgnarl/a-dispat.ads