[Ada] Ada2020: AI12-0117 Restriction No_Tasks_Unassigned_To_CPU
authorBob Duff <duff@adacore.com>
Wed, 10 Jun 2020 19:55:32 +0000 (15:55 -0400)
committerPierre-Marie de Rodat <derodat@adacore.com>
Thu, 16 Jul 2020 09:18:11 +0000 (05:18 -0400)
commit504dc34720756d4383f47fa48a0f40a5ad908146
tree3a521d66aab4a2c34c429f6d38f91c80e27afed2
parenteaf6e63a647b8604de960d2fa992c7dd57a5d553
[Ada] Ada2020: AI12-0117 Restriction No_Tasks_Unassigned_To_CPU

gcc/ada/

* libgnat/s-rident.ads (Restriction_Id): Add
No_Tasks_Unassigned_To_CPU.
gcc/ada/libgnat/s-rident.ads