diff options
| author | Yannick Moy <moy@adacore.com> | 2011-08-02 15:10:17 +0000 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2011-08-02 17:10:17 +0200 |
| commit | 2ba431e53edd2d06e5040a585454680990935d9d (patch) | |
| tree | 17782362e9211837a9f24856f0f7c0d5c803a897 /libjava/prims.cc | |
| parent | 0f85303509461f48131fcd3c34d1c159b6771dd1 (diff) | |
| download | gcc-2ba431e53edd2d06e5040a585454680990935d9d.zip gcc-2ba431e53edd2d06e5040a585454680990935d9d.tar.gz gcc-2ba431e53edd2d06e5040a585454680990935d9d.tar.bz2 | |
sem_aggr.adb, [...]: cleanup of SPARK mode
2011-08-02 Yannick Moy <moy@adacore.com>
* sem_aggr.adb, err_vars.ads, sem_ch3.adb, sem_ch5.adb, sem_ch9.adb,
debug.adb, sem_util.adb, sem_res.adb, sem_attr.adb, gnat1drv.adb,
errout.adb, errout.ads, exp_ch6.adb, sem_ch4.adb, restrict.adb,
restrict.ads, sem_ch6.adb, sem_ch8.adb, sem_ch11.adb,
opt.ads: cleanup of SPARK mode
From-SVN: r177175
Diffstat (limited to 'libjava/prims.cc')
0 files changed, 0 insertions, 0 deletions