diff --git a/gcc/ada/sem_prag.ads b/gcc/ada/sem_prag.ads index 44590aca63192bfbfb60f55bb3afac6de22e44eb..0a1ad5bedf119547f75b3d8e11c310de575495d4 100644 --- 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,