X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fthreads%2Fpalloc.c;h=62e24cada4756dfa5917f74fac03512ce7626ad4;hb=ff144294a54d14af3c9324e6a336a3102094dea4;hp=a0196ace19665fe13c4c369283e6928c9801d26f;hpb=994aa9cbadb9bb822df3adfffad8de40997fc562;p=pintos-anon

diff --git a/src/threads/palloc.c b/src/threads/palloc.c
index a0196ac..62e24ca 100644
--- 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;