| commit | 7e650bf84bf61e88f05ffbf39ca677a1e3d2714a | |
| author | Piotr Trojanek <trojanek@adacore.com> | |
| Wed, 17 Nov 2021 13:24:25 +0000 (17 14:24 +0100) | ||
| committer | Pierre-Marie de Rodat <derodat@adacore.com> | |
| Thu, 2 Dec 2021 16:26:20 +0000 (2 16:26 +0000) | ||
| tree | cbdb80a0a212f2d502dda2b8df2d066dc1823941 | treesnapshot (tar.gz zip) |
| parent | 45be7610383af22b552ab7b2d0fa0e1d632c66f0 | commitdiff |
[Ada] Add contract to Ada.Task_Identification.Activation_Is_Complete
gcc/ada/
* libgnarl/a-taside.ads (Activation_Is_Complete): Add
precondition.
gcc/ada/
* libgnarl/a-taside.ads (Activation_Is_Complete): Add
precondition.
| gcc/ada/libgnarl/a-taside.ads | diffblobblamehistory |