[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.

diff --git a/gcc/ada/sem_prag.ads b/gcc/ada/sem_prag.ads
index 44590ac..0a1ad5b 100644 (file)
--- a/gcc/ada/sem_prag.ads
+++ b/gcc/ada/sem_prag.ads
@@ -149,6 +149,7 @@ package Sem_Prag is
       Pragma_Precondition              => True,
       Pragma_Predicate                 => True,
       Pragma_Refined_Post              => True,
+      Pragma_Subprogram_Variant        => True,
       Pragma_Test_Case                 => True,
       Pragma_Type_Invariant            => True,
       Pragma_Type_Invariant_Class      => True,