X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fthreads%2Fintr-stubs.h;h=116b637e3cd0b7560f4a5d3dae57b475f80ba0db;hb=691750d03ff70aa5cef5fba81fed82e3a941bf95;hp=debeaabc075ab3668b78271d028e703481e1b113;hpb=6916b246f3be8c72d6e77fd98c4a1447fd2c1de7;p=pintos-anon

diff --git a/src/threads/intr-stubs.h b/src/threads/intr-stubs.h
index debeaab..116b637 100644
--- a/src/threads/intr-stubs.h
+++ b/src/threads/intr-stubs.h
@@ -1,5 +1,5 @@
-#ifndef THREADS_INTR-STUBS_H
-#define THREADS_INTR-STUBS_H
+#ifndef THREADS_INTR_STUBS_H
+#define THREADS_INTR_STUBS_H
 
 /* Interrupt stubs.