From 13ee470a331b30ce0299a2ab7eab0b4f40bafd0b Mon Sep 17 00:00:00 2001
From: Bahadir Balban <bbalban@b-labs.co.uk>
Date: Mon, 4 Feb 2008 19:40:23 +0000
Subject: [PATCH] Mark the next bug to fix.

---
 tasks/mm0/src/fault.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/tasks/mm0/src/fault.c b/tasks/mm0/src/fault.c
index bea14af..d746b45 100644
--- a/tasks/mm0/src/fault.c
+++ b/tasks/mm0/src/fault.c
@@ -317,6 +317,7 @@ int do_anon_page(struct fault_data *fault)
 
 		/* Add the page to it's owner's list of in-memory pages */
 		BUG_ON(!list_empty(&page->list));
+		BUG();
 		list_add(&page->list, &page->owner->page_cache_list);
 
 		/* The offset of this page in its owner file */