X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=blobdiff_plain;f=src%2Fthreads%2Fintr-stubs.pl;h=22eaf59d339f4ee216e77cf9938f82140a5f6b70;hp=d9e0dd35508fee62e9d3f8b758525bf4855c82c6;hb=6c5c6fdfe80bad40c90c19b67f00226610d59a38;hpb=c9d103e3fc1f398acb10bbaa66bf5a61318d26e9

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