From: Piotr Trojanek <trojanek@adacore.com>
Date: Tue, 3 Nov 2020 18:34:17 +0000 (+0100)
Subject: [Ada] Assertion_Policy is not a valid assertion policy
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=3e9238fa6435af6361fdb807525de75e1b306263;p=gcc.git

[Ada] Assertion_Policy is not a valid assertion policy

gcc/ada/

	* sem_prag.adb (Is_Valid_Assertion_Kind): Return False on
	"Assertion_Policy"
---

diff --git a/gcc/ada/sem_prag.adb b/gcc/ada/sem_prag.adb
index 5bf9fd38289..02369bc3660 100644
--- a/gcc/ada/sem_prag.adb
+++ b/gcc/ada/sem_prag.adb
@@ -31474,7 +31474,6 @@ package body Sem_Prag is
             --  RM defined
 
               Name_Assert
-            | Name_Assertion_Policy
             | Name_Static_Predicate
             | Name_Dynamic_Predicate
             | Name_Pre