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

Tested on x86_64-pc-linux-gnu, committed on trunk

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
--- 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,


Reply via email to