X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Flib%2Fdebug.c;fp=src%2Flib%2Fdebug.c;h=9fbf20656c66833b2dee6948c5ce167f6cb297aa;hb=bd1397c2e890c82bd58bb2e6eefa223172b3d632;hp=3d9a9b1e28f159f1d1dc0a82d7e117c6a6f02bac;hpb=476eef1e2009a13352732b0d41b37c426050eaac;p=pintos-anon

diff --git a/src/lib/debug.c b/src/lib/debug.c
index 3d9a9b1..9fbf206 100644
--- a/src/lib/debug.c
+++ b/src/lib/debug.c
@@ -53,7 +53,7 @@ debug_message (const char *file, int line, const char *function,
     {
       va_list args;
 
-      enum if_level old_level = intr_disable ();
+      enum intr_level old_level = intr_disable ();
       printk ("%s:%d: %s(): ", file, line, function);
       va_start (args, message);
       vprintk (message, args);