projects / gcc.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 7907619)
[Ada] Restore Snames.Name_SPARK as it used in the GNATprove backend
authorPiotr Trojanek <trojanek@adacore.com>
Mon, 17 Feb 2020 13:15:16 +0000 (14:15 +0100)
committerPierre-Marie de Rodat <derodat@adacore.com>
Mon, 8 Jun 2020 07:51:05 +0000 (03:51 -0400)
2020-06-08  Piotr Trojanek  <trojanek@adacore.com>

gcc/ada/

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

gcc/ada/snames.ads-tmpl patch | blob | history

diff --git a/gcc/ada/snames.ads-tmpl b/gcc/ada/snames.ads-tmpl
index 094f7221c83150c0ac8a4361d024e702021b67d2..e5494ae73abc9ab0a3097ac5775f75fd3779e012 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 + $;