diff options
author | Arnaud Charlet <charlet@gcc.gnu.org> | 2011-08-29 16:23:16 +0200 |
---|---|---|
committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2011-08-29 16:23:16 +0200 |
commit | fd3d2680c8c025f29cb349a9af6292cf8bea50f5 (patch) | |
tree | 95b6cce1c8fcea3d44303a5f582ed3dc1d627d71 /gcc/ada/a-cbhama.ads | |
parent | dfbf013faf211971823f83c39648ad98d2b557b5 (diff) | |
download | gcc-fd3d2680c8c025f29cb349a9af6292cf8bea50f5.tar.gz |
[multiple changes]
2011-08-29 Robert Dewar <dewar@adacore.com>
* a-cbhama.adb, a-cbhama.ads: Minor reformatting.
2011-08-29 Javier Miranda <miranda@adacore.com>
* sem_ch8.adb (Analyze_Subprogram_Renaming): Complete support for
renamings of formal subprograms when the actual for a formal type is
class-wide.
From-SVN: r178244
Diffstat (limited to 'gcc/ada/a-cbhama.ads')
-rw-r--r-- | gcc/ada/a-cbhama.ads | 8 |
1 files changed, 3 insertions, 5 deletions
diff --git a/gcc/ada/a-cbhama.ads b/gcc/ada/a-cbhama.ads index 94860f99cc0..003a919a6e3 100644 --- a/gcc/ada/a-cbhama.ads +++ b/gcc/ada/a-cbhama.ads @@ -32,7 +32,8 @@ ------------------------------------------------------------------------------ private with Ada.Containers.Hash_Tables; -with Ada.Streams; use Ada.Streams; + +with Ada.Streams; use Ada.Streams; with Ada.Iterator_Interfaces; generic @@ -47,8 +48,7 @@ package Ada.Containers.Bounded_Hashed_Maps is pragma Pure; pragma Remote_Types; - type Map (Capacity : Count_Type; Modulus : Hash_Type) is tagged private - with + type Map (Capacity : Count_Type; Modulus : Hash_Type) is tagged private with Constant_Indexing => Constant_Reference, Variable_Indexing => Reference, Default_Iterator => Iterate, @@ -328,7 +328,6 @@ package Ada.Containers.Bounded_Hashed_Maps is return Reference_Type; private - -- pragma Inline ("="); pragma Inline (Length); pragma Inline (Is_Empty); pragma Inline (Clear); @@ -339,7 +338,6 @@ private pragma Inline (Capacity); pragma Inline (Reserve_Capacity); pragma Inline (Has_Element); - -- pragma Inline (Equivalent_Keys); pragma Inline (Next); type Node_Type is record |