projects
/
pintos-anon
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
Fix.
[pintos-anon]
/
src
/
lib
/
kernel
/
list.c
diff --git
a/src/lib/kernel/list.c
b/src/lib/kernel/list.c
index d80a74a09da7b59a2b8418ea2fd54f27a8068982..1227d6b6b5679f5c2708af027e0a69241684d613 100644
(file)
--- a/
src/lib/kernel/list.c
+++ b/
src/lib/kernel/list.c
@@
-78,7
+78,7
@@
list_begin (struct list *list)
list_elem *
list_next (list_elem *elem)
{
- ASSERT (is_interior (elem));
+ ASSERT (is_
head (elem) || is_
interior (elem));
return elem->next;
}