From 7b7f1ca1b28b650eedd1074bf723b04e99adcdaf Mon Sep 17 00:00:00 2001 From: Piotr Trojanek Date: Mon, 17 Feb 2020 14:15:16 +0100 Subject: [PATCH] [Ada] Restore Snames.Name_SPARK as it used in the GNATprove backend 2020-06-08 Piotr Trojanek gcc/ada/ * snames.ads-tmpl (Name_SPARK): Restore after being deleted. --- gcc/ada/snames.ads-tmpl | 1 + 1 file changed, 1 insertion(+) diff --git a/gcc/ada/snames.ads-tmpl b/gcc/ada/snames.ads-tmpl index 094f7221c83..e5494ae73ab 100644 --- a/gcc/ada/snames.ads-tmpl +++ b/gcc/ada/snames.ads-tmpl @@ -835,6 +835,7 @@ package Snames is Name_Section : constant Name_Id := N + $; Name_Semaphore : constant Name_Id := N + $; Name_Simple_Barriers : constant Name_Id := N + $; + Name_SPARK : constant Name_Id := N + $; Name_SPARK_05 : constant Name_Id := N + $; Name_Spec_File_Name : constant Name_Id := N + $; Name_State : constant Name_Id := N + $; -- 2.30.2