From: Ben Pfaff <blp@cs.stanford.edu>
Date: Fri, 5 Nov 2004 23:22:12 +0000 (+0000)
Subject: Improve list_remove().
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=1ac0d8727039aca3668d93c24aea3a558494b371;p=pintos-anon

Improve list_remove().
---

diff --git a/src/lib/kernel/list.c b/src/lib/kernel/list.c
index 1227d6b..1735576 100644
--- a/src/lib/kernel/list.c
+++ b/src/lib/kernel/list.c
@@ -216,15 +216,15 @@ list_push_back (struct list *list, list_elem *elem)
   list_insert (list_end (list), elem);
 }
 
-/* Removes ELEM from its list.  Undefined behavior if ELEM is not
-   in a list. */
+/* Removes ELEM from its list and returns the element that
+   followed it.  Undefined behavior if ELEM is not in a list.  */
 list_elem *
 list_remove (list_elem *elem)
 {
   ASSERT (is_interior (elem));
   elem->prev->next = elem->next;
   elem->next->prev = elem->prev;
-  return elem;
+  return elem->next;
 }
 
 /* Removes the front element from LIST and returns it.