diff options
Diffstat (limited to 'gcc/ada/a-cfhama.ads')
| -rw-r--r-- | gcc/ada/a-cfhama.ads | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gcc/ada/a-cfhama.ads b/gcc/ada/a-cfhama.ads index 5366655..71eed2b 100644 --- a/gcc/ada/a-cfhama.ads +++ b/gcc/ada/a-cfhama.ads @@ -100,7 +100,7 @@ package Ada.Containers.Formal_Hashed_Maps is (Source : Map; Capacity : Count_Type := 0) return Map with - Pre => Capacity >= Source.Capacity; + Pre => Capacity = 0 or else Capacity >= Source.Capacity; -- Copy returns a container stricty equal to Source. It must have -- the same cursors associated with each element. Therefore: -- - capacity=0 means use container.capacity as capacity of target |