X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=blobdiff_plain;f=src%2Fthreads%2Fintr-stubs.pl;h=d9e0dd35508fee62e9d3f8b758525bf4855c82c6;hp=472b125b316d5176d567b81616c19335f5dd38e2;hb=c9c283cb3e26a5b6d918ee47dcf8efe28522b18d;hpb=e16cf23bd993de3726287f9920efa8f667232423

diff --git a/src/threads/intr-stubs.pl b/src/threads/intr-stubs.pl
index 472b125..d9e0dd3 100755
--- a/src/threads/intr-stubs.pl
+++ b/src/threads/intr-stubs.pl
@@ -1,7 +1,7 @@
 #! /usr/bin/perl
 
 print <<'EOF';
-#include "mmu.h"
+#include "gdt.h"
 
 	.data
 .globl intr_stubs