diff options
| author | Hristian Kirtchev <kirtchev@adacore.com> | 2013-10-14 12:39:11 +0000 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2013-10-14 14:39:11 +0200 |
| commit | b447a7578e82b2d2bbe284fa3044f0070a2d8c12 (patch) | |
| tree | da081ec5a38918f14c64cc38c982a32170e93c1d /gcc/ada/init.c | |
| parent | 577ee3a966170affb106f7a768f5253c692ef230 (diff) | |
| download | gcc-b447a7578e82b2d2bbe284fa3044f0070a2d8c12.zip gcc-b447a7578e82b2d2bbe284fa3044f0070a2d8c12.tar.gz gcc-b447a7578e82b2d2bbe284fa3044f0070a2d8c12.tar.bz2 | |
sem_prag.adb (Analyze_Global_In_Decl_Part): Remove local variable Contract_Seen.
2013-10-14 Hristian Kirtchev <kirtchev@adacore.com>
* sem_prag.adb (Analyze_Global_In_Decl_Part): Remove local
variable Contract_Seen. Add local variable Proof_Seen.
(Analyze_Global_List): Remove the processing for mode
Contract_In. Add support for mode Proof_In.
(Analyze_Pragma): Update the grammar of pragmas Global and
Refined_Global.
* snames.ads-tmpl: Remove predefined name Contract_In. Add
predefined name Proof_In.
From-SVN: r203525
Diffstat (limited to 'gcc/ada/init.c')
0 files changed, 0 insertions, 0 deletions