in bc-containers-lists-double.adb the procedures
Append(L : in out List; From_List : in out List)
Append(L : in out List; From_List : in out List; After : Positive)
raise BC.Not_Root if From_List begins with an item which has other predecessors. This gives a different semantics from singly-linked lists and is unnecessary.
Log in to post a comment.