X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fthreads%2Finterrupt.c;h=8e7d575afe7928ac5f22c57c11719e2107dcae50;hb=b0a700d18f0a0a8c87e1a4fff3a2108e0edb0fbc;hp=fca145e10b96244cd8ee2872f76f46c432528854;hpb=2559f61a41ebfca4f17aae39c89b77a8f1c5c80f;p=pintos-anon

diff --git a/src/threads/interrupt.c b/src/threads/interrupt.c
index fca145e..8e7d575 100644
--- a/src/threads/interrupt.c
+++ b/src/threads/interrupt.c
@@ -3,6 +3,7 @@
 #include <inttypes.h>
 #include <stdint.h>
 #include <stdio.h>
+#include "threads/flags.h"
 #include "threads/intr-stubs.h"
 #include "threads/io.h"
 #include "threads/mmu.h"