From 3e9238fa6435af6361fdb807525de75e1b306263 Mon Sep 17 00:00:00 2001
From: Piotr Trojanek <trojanek@adacore.com>
Date: Tue, 3 Nov 2020 19:34:17 +0100
Subject: [PATCH] [Ada] Assertion_Policy is not a valid assertion policy

gcc/ada/

	* sem_prag.adb (Is_Valid_Assertion_Kind): Return False on
	"Assertion_Policy"
---
 gcc/ada/sem_prag.adb | 1 -
 1 file changed, 1 deletion(-)

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
-- 
2.30.2