[Ada] Add contract to Ada.Task_Identification.Activation_Is_Complete
authorPiotr Trojanek <trojanek@adacore.com>
Wed, 17 Nov 2021 13:24:25 +0000 (14:24 +0100)
committerPierre-Marie de Rodat <derodat@adacore.com>
Thu, 2 Dec 2021 16:26:20 +0000 (16:26 +0000)
commit7e650bf84bf61e88f05ffbf39ca677a1e3d2714a
treecbdb80a0a212f2d502dda2b8df2d066dc1823941
parent45be7610383af22b552ab7b2d0fa0e1d632c66f0
[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