diff options
| author | Yannick Moy <moy@adacore.com> | 2019-08-21 08:31:03 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2019-08-21 08:31:03 +0000 |
| commit | e9934e8c79c4eafbb231ed53b3a6e1c6632a1a15 (patch) | |
| tree | 48eed833232b4dc376401823d9bcdbef3b2de50d /gcc/tree-ssa-ccp.c | |
| parent | 3c488e6c8675f069c94567107f777f693671f7ed (diff) | |
| download | gcc-e9934e8c79c4eafbb231ed53b3a6e1c6632a1a15.zip gcc-e9934e8c79c4eafbb231ed53b3a6e1c6632a1a15.tar.gz gcc-e9934e8c79c4eafbb231ed53b3a6e1c6632a1a15.tar.bz2 | |
[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
Diffstat (limited to 'gcc/tree-ssa-ccp.c')
0 files changed, 0 insertions, 0 deletions