diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-10-10 16:49:04 +0200 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2014-10-10 16:49:04 +0200 |
| commit | 9ceeaf9d16fa143b23e16234a22744c9191213ff (patch) | |
| tree | 11a99217237ee63bd01d9d3a2e417bcc54bb787f /gcc/ada/a-cofove.ads | |
| parent | 4d1429b2dd3fafdb24f9cd324cfd063b13b275d8 (diff) | |
| download | gcc-9ceeaf9d16fa143b23e16234a22744c9191213ff.zip gcc-9ceeaf9d16fa143b23e16234a22744c9191213ff.tar.gz gcc-9ceeaf9d16fa143b23e16234a22744c9191213ff.tar.bz2 | |
[multiple changes]
2014-10-10 Robert Dewar <dewar@adacore.com>
* freeze.adb, sem_attr.adb: Minor reformatting.
2014-10-10 Johannes Kanig <kanig@adacore.com>
* a-cfdlli.ads, a-cfhama.ads, a-cfhase.ads, a-cforma.ads,
a-cforse.ads, a-cofove.ads: add "Default_Initial_Condition"
to container type.
2014-10-10 Vincent Celier <celier@adacore.com>
* prj-conf.adb (Do_Autoconf): In Codepeer mode, do not try to get
any configuration switches from the project file.
2014-10-10 Ed Schonberg <schonberg@adacore.com>
* sem_ch12.adb (Build_Wrapper): Renamed as Build_Operator_Wrapper.
(Build_Function_Wrapper): New function, to construct a wrapper
function for actuals that are functions with an arbitrary
number of parameters. Used in GNATProve mode to simplify proof
propagation in instantiations.
From-SVN: r216092
Diffstat (limited to 'gcc/ada/a-cofove.ads')
| -rw-r--r-- | gcc/ada/a-cofove.ads | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/gcc/ada/a-cofove.ads b/gcc/ada/a-cofove.ads index d99041a..f5b9b64 100644 --- a/gcc/ada/a-cofove.ads +++ b/gcc/ada/a-cofove.ads @@ -81,7 +81,8 @@ package Ada.Containers.Formal_Vectors is Iterable => (First => First, Next => Next, Has_Element => Has_Element, - Element => Element); + Element => Element), + Default_Initial_Condition; type Cursor is private; pragma Preelaborable_Initialization (Cursor); |