projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3c488e6) | patch
[Ada] Update references to the SPARK RM
authorYannick Moy <moy@adacore.com>
Wed, 21 Aug 2019 08:31:03 +0000 (08:31 +0000)
committerPierre-Marie de Rodat <pmderodat@gcc.gnu.org>
Wed, 21 Aug 2019 08:31:03 +0000 (08:31 +0000)
commite9934e8c79c4eafbb231ed53b3a6e1c6632a1a15
tree48eed833232b4dc376401823d9bcdbef3b2de50dtree
parent3c488e6c8675f069c94567107f777f693671f7edcommit | diff
[Ada] Update references to the SPARK RM

2019-08-21  Yannick Moy  <moy@adacore.com>

gcc/ada/

* sem_spark.adb: Update references to the SPARK RM.

From-SVN: r274787
gcc/ada/ChangeLog diff | blob | history
gcc/ada/sem_spark.adb diff | blob | history