Improve comment.
[pintos-anon] / src / threads / intr-stubs.h
index debeaabc075ab3668b78271d028e703481e1b113..116b637e3cd0b7560f4a5d3dae57b475f80ba0db 100644 (file)
@@ -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.