[gcc(refs/users/guojiufu/heads/guojiufu-branch)] [Ada] Restore Snames.Name_SPARK as it used in the GNATprove backend

[Jiu Fu Guo]

https://gcc.gnu.org/g:7b7f1ca1b28b650eedd1074bf723b04e99adcdaf

commit 7b7f1ca1b28b650eedd1074bf723b04e99adcdaf
Author: Piotr Trojanek <trojanek@adacore.com>
Date:   Mon Feb 17 14:15:16 2020 +0100

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