[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 094f722..e5494ae 100644 (file)
--- 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 + $;