[Ada] Remove contract duplication in formal doubly linked lists

Remove a minor duplication in Post of a function of formal doubly linked
lists.

gcc/ada/

	* libgnat/a-cfdlli.ads (Insert): Remove the duplication.

diff --git a/gcc/ada/libgnat/a-cfdlli.ads b/gcc/ada/libgnat/a-cfdlli.ads
index 521f4bf..ff7d2d8 100644 (file)
--- a/gcc/ada/libgnat/a-cfdlli.ads
+++ b/gcc/ada/libgnat/a-cfdlli.ads
@@ -543,15 +543,7 @@ is
                        Lst       => Length (Container),
                        Item      => New_Item))
 
-            --  Container contains Count times New_Item at the end
-
-            and M.Constant_Range
-                  (Container => Model (Container),
-                   Fst       => Length (Container)'Old + 1,
-                   Lst       => Length (Container),
-                   Item      => New_Item)
-
-            --  A Count cursors have been inserted at the end of Container
+            --  Count cursors have been inserted at the end of Container
 
             and P_Positions_Truncated
                   (Positions (Container)'Old,