diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2011-08-29 15:27:37 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2011-08-29 15:27:37 +0200 |
| commit | e02965831e0ec57a216cc64e38ebcdb10bc1e77f (patch) | |
| tree | 5b43babbc2f203ca0fd5adddf4678813af119c38 /gcc/ada/gnatcmd.adb | |
| parent | 69794413ec2445eac7298bd4784fbd1cb34efe9e (diff) | |
| download | gcc-e02965831e0ec57a216cc64e38ebcdb10bc1e77f.zip gcc-e02965831e0ec57a216cc64e38ebcdb10bc1e77f.tar.gz gcc-e02965831e0ec57a216cc64e38ebcdb10bc1e77f.tar.bz2 | |
[multiple changes]
2011-08-29 Yannick Moy <moy@adacore.com>
* sem_prag.adb (Analyze_Pragma): Allow Test_Case pragma without
Requires/Ensures.
* sem_util.adb (Get_Ensures_From_Test_Case_Pragma,
Get_Requires_From_Test_Case_Pragma): Allow Test_Case pragma without
Requires/Ensures.
2011-08-29 Arnaud Charlet <charlet@adacore.com>
* gnat1drv.adb (Adjust_Global_Switches): Improve previous change.
Add comment.
2011-08-29 Thomas Quinot <quinot@adacore.com>
* sem_res.adb: Minor reformatting.
From-SVN: r178224
Diffstat (limited to 'gcc/ada/gnatcmd.adb')
0 files changed, 0 insertions, 0 deletions