projects / platform / upstream / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7907619) | patch
[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)
commit7b7f1ca1b28b650eedd1074bf723b04e99adcdaf
treefa7f5872cbe5bcb22556cfdf227fd6eaf43107e2tree | snapshot
parent7907619e7737b6cb38ee334996a7d7a33bb7a1d6commit | diff
[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.
gcc/ada/snames.ads-tmpl diff | blob | history
Domain: System / Toolchain;