diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2014-10-10 14:49:04 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2014-10-10 14:49:04 +0000 |
| commit | 975af22d5e38e70e14cf8a7696ecb76c5847c442 (patch) | |
| tree | 11a99217237ee63bd01d9d3a2e417bcc54bb787f /gcc/ada/a-cfhama.ads | |
| parent | 3ad60f63386178ef069d70c27bf8de6fbe08b4c3 (diff) | |
| download | gcc-975af22d5e38e70e14cf8a7696ecb76c5847c442.tar.gz | |
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.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@216092 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada/a-cfhama.ads')
| -rw-r--r-- | gcc/ada/a-cfhama.ads | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/gcc/ada/a-cfhama.ads b/gcc/ada/a-cfhama.ads index b5c440ec74d..976160b8609 100644 --- a/gcc/ada/a-cfhama.ads +++ b/gcc/ada/a-cfhama.ads @@ -74,7 +74,8 @@ package Ada.Containers.Formal_Hashed_Maps is Iterable => (First => First, Next => Next, Has_Element => Has_Element, - Element => Element); + Element => Element), + Default_Initial_Condition; pragma Preelaborable_Initialization (Map); type Cursor is private; |