[Ada] Fix classification of Subprogram_Variant as assertion pragma
authorYannick Moy <moy@adacore.com>
Mon, 9 May 2022 10:49:41 +0000 (12:49 +0200)
committerPierre-Marie de Rodat <derodat@adacore.com>
Wed, 1 Jun 2022 08:43:20 +0000 (08:43 +0000)
commitda85f3f2c696977c8b0864b650e9606e05a61c1f
tree0dfa5d1f2de574024aaaf8428136641733dbc632
parent5cfde7a0b5ffd2cd0e792f07f849b9b1b0bea290
[Ada] Fix classification of Subprogram_Variant as assertion pragma

This pragma was wrongly not recognized as an assertion pragma.  Now
fixed.

gcc/ada/

* sem_prag.ads (Assertion_Expression_Pragmas): Fix value for
pragma Subprogram_Variant.
gcc/ada/sem_prag.ads