diff options
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); |