Add DEBUG() macro for debugging that can be turned on and off with a

[pintos-anon] / src / threads / palloc.c

diff --git a/src/threads/palloc.c b/src/threads/palloc.c
index a0196ace19665fe13c4c369283e6928c9801d26f..62e24cada4756dfa5917f74fac03512ce7626ad4 100644 (file)
--- a/src/threads/palloc.c
+++ b/src/threads/palloc.c
@@ -54,7 +54,7 @@ palloc_get (enum palloc_flags flags)
   else 
     {
       if (flags & PAL_ASSERT)
-        panic ("palloc_get: out of pages");
+        PANIC ("palloc_get: out of pages");
     }
   
   return page;