X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fthreads%2Finterrupt.c;h=5227486f4212c3d6ccab71f1e998c39fbef9ec8c;hb=ff144294a54d14af3c9324e6a336a3102094dea4;hp=6945e0a2d6843089c9e8421bc1e987d5038dcc94;hpb=994aa9cbadb9bb822df3adfffad8de40997fc562;p=pintos-anon

diff --git a/src/threads/interrupt.c b/src/threads/interrupt.c
index 6945e0a..5227486 100644
--- a/src/threads/interrupt.c
+++ b/src/threads/interrupt.c
@@ -269,7 +269,7 @@ void
 intr_panic (struct intr_frame *regs) 
 {
   dump_intr_frame (regs);
-  panic ("Panic!");
+  PANIC ("Panic!");
 }
 
 void