diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2013-07-05 10:49:52 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2013-07-05 10:49:52 +0000 |
| commit | ba7fc146d71630c4236c0fcd160f8e5291d2b8f8 (patch) | |
| tree | e9e799e7137d278bfce878c0136824279fd52f5e /gcc/ada/a-cfdlli.ads | |
| parent | d4e8ab9444260a34d0c5de292efb6b31ecfd7062 (diff) | |
| download | gcc-ba7fc146d71630c4236c0fcd160f8e5291d2b8f8.tar.gz | |
2013-07-05 Claire Dross <dross@adacore.com>
* a-cfdlli.ads, a-cfhama.ads, a-cfhase.ads, a-cforma.ads,
a-cforse.ads, a-cofove.ads: Add preconditions when needed +
container types are not tagged any more.
2013-07-05 Thomas Quinot <quinot@adacore.com>
* freeze.adb (Freeze_Entity): For an object with captured
initialization statements, do not remove Init_Stmts from the
enclosing list, as Freeze_All might rely on it to know where to
stop freezing.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@200708 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada/a-cfdlli.ads')
| -rw-r--r-- | gcc/ada/a-cfdlli.ads | 8 |
1 files changed, 2 insertions, 6 deletions
diff --git a/gcc/ada/a-cfdlli.ads b/gcc/ada/a-cfdlli.ads index 8ea3c4c348d..bfa8ffbcb90 100644 --- a/gcc/ada/a-cfdlli.ads +++ b/gcc/ada/a-cfdlli.ads @@ -153,15 +153,11 @@ package Ada.Containers.Formal_Doubly_Linked_Lists is procedure Delete_First (Container : in out List; - Count : Count_Type := 1) - with - Pre => not Is_Empty (Container); + Count : Count_Type := 1); procedure Delete_Last (Container : in out List; - Count : Count_Type := 1) - with - Pre => not Is_Empty (Container); + Count : Count_Type := 1); procedure Reverse_Elements (Container : in out List); |