From a292caa984b50ba6776feca4b666b5f5d831fbc3 Mon Sep 17 00:00:00 2001 From: Andrea Mazzoleni Date: Sun, 25 Feb 2018 10:20:14 +0100 Subject: [PATCH] Update with latest TommyDS --- tommyds/tommylist.h | 18 ------------------ 1 file changed, 18 deletions(-) diff --git a/tommyds/tommylist.h b/tommyds/tommylist.h index d88cee7b..368606a9 100644 --- a/tommyds/tommylist.h +++ b/tommyds/tommylist.h @@ -226,24 +226,6 @@ tommy_inline void tommy_list_insert_tail(tommy_list* list, tommy_node* node, voi node->data = data; } -/** \internal - * Removes an element from the head of a not empty list. - * \param list The list. The list cannot be empty. - * \return The node removed. - */ -tommy_inline tommy_node* tommy_list_remove_head_not_empty(tommy_list* list) -{ - tommy_node* head = tommy_list_head(list); - - /* remove from the "circular" prev list */ - head->next->prev = head->prev; - - /* remove from the "0 terminated" next list */ - *list = head->next; /* the new head, in case 0 */ - - return head; -} - /** * Removes an element from the list. * You must already have the address of the element to remove.