projects / platform / upstream / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 541fb4d) | patch
par-prag.adb, [...]: Remove all references to Pragma_Contract_Case and Name_Contract_...
authorYannick Moy <moy@adacore.com>
Mon, 22 Apr 2013 10:41:08 +0000 (10:41 +0000)
committerArnaud Charlet <charlet@gcc.gnu.org>
Mon, 22 Apr 2013 10:41:08 +0000 (12:41 +0200)
commitddb8a2c7c199ce0f49375bb6d947a45f0f439e6b
treef2e9837ea6a9339e1675e6f060ed7ea549f8beaatree | snapshot
parent541fb4d9bc40ec95eaba46fc2474067b296f1680commit | diff
par-prag.adb, [...]: Remove all references to Pragma_Contract_Case and Name_Contract_Case.

2013-04-22  Yannick Moy  <moy@adacore.com>

* par-prag.adb, sem_attr.adb, sem_ch6.adb, sem_prag.adb, sem_warn.adb,
snames.ads-tmpl, sinfo.ads, sem_util.ads: Remove all references to
Pragma_Contract_Case and Name_Contract_Case.

From-SVN: r198128
gcc/ada/ChangeLog diff | blob | history
gcc/ada/par-prag.adb diff | blob | history
gcc/ada/sem_attr.adb diff | blob | history
gcc/ada/sem_ch6.adb diff | blob | history
gcc/ada/sem_prag.adb diff | blob | history
gcc/ada/sem_util.ads diff | blob | history
gcc/ada/sem_warn.adb diff | blob | history
gcc/ada/sinfo.ads diff | blob | history
gcc/ada/snames.ads-tmpl diff | blob | history
Domain: System / Toolchain;