diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2011-08-04 13:59:40 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2011-08-04 13:59:40 +0000 |
| commit | e423341f23e51dca8ec534fa55356c3474cad60e (patch) | |
| tree | 5a84e08f0904574b440e89320efb745d9d593cba /gcc/ada/opt.ads | |
| parent | da8210912166709528582c5a8af947a74c698352 (diff) | |
| download | gcc-e423341f23e51dca8ec534fa55356c3474cad60e.tar.gz | |
2011-08-04 Yannick Moy <moy@adacore.com>
* sem_ch3.adb, sem_ch5.adb, sem_util.adb, sem_ch4.adb, sem_ch8.adb,
opt.ads, lib-xref.ads: Code clean up.
2011-08-04 Yannick Moy <moy@adacore.com>
* gnat_rm.texi: Update description of Test_Case
* gnat_ugn.texi: Typo.
2011-08-04 Ed Falis <falis@adacore.com>
* adaint.c (__gnat_get_number_of_cpus): fix typo in last checkin.
2011-08-04 Hristian Kirtchev <kirtchev@adacore.com>
* exp_ch4.adb (Suitable_Element): Skip field _parent on .NET/JVM when
it is of type Root_Controlled. This action eliminates fields Prev and
Next from type equality.
2011-08-04 Yannick Moy <moy@adacore.com>
* lib-xref-alfa.adb: Correct typo.
2011-08-04 Matthew Heaney <heaney@adacore.com>
* a-cohata.ads (Hash_Table_Type): default-initialize the Nodes
component.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@177390 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada/opt.ads')
| -rw-r--r-- | gcc/ada/opt.ads | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/gcc/ada/opt.ads b/gcc/ada/opt.ads index 3eaa855358d..ec121360007 100644 --- a/gcc/ada/opt.ads +++ b/gcc/ada/opt.ads @@ -1878,9 +1878,6 @@ package Opt is -- the generation of Why code for those parts of the input code that -- belong to the ALFA subset of Ada. Set by debuf flag -gnatd.F. - SPARK_Mode : Boolean := False; - -- Reject constructs not allowed by SPARK. Set by flag -gnatd.D. - private -- The following type is used to save and restore settings of switches in |