From: Piotr Trojanek <trojanek@adacore.com>
Date: Mon, 17 Feb 2020 13:15:16 +0000 (+0100)
Subject: [Ada] Restore Snames.Name_SPARK as it used in the GNATprove backend
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=7b7f1ca1b28b650eedd1074bf723b04e99adcdaf;p=gcc.git

[Ada] Restore Snames.Name_SPARK as it used in the GNATprove backend

2020-06-08  Piotr Trojanek  <trojanek@adacore.com>

gcc/ada/

	* snames.ads-tmpl (Name_SPARK): Restore after being deleted.
---

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 + $;