1 diff -up /home/blp/cs140/pintos/src/lib/debug.c.\~1.8.\~ /home/blp/cs140/pintos/src/lib/debug.c
2 --- /home/blp/cs140/pintos/src/lib/debug.c.~1.8.~ 2004-09-12 13:14:11.000000000 -0700
3 +++ /home/blp/cs140/pintos/src/lib/debug.c 2004-10-17 00:02:32.000000000 -0700
8 +#include "threads/init.h"
9 #include "threads/interrupt.h"
10 #include "devices/serial.h"
12 @@ -83,7 +84,7 @@ debug_panic (const char *file, int line,