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,