X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fthreads%2Fintr-stubs.h;h=b1f503943a852b23909d569c76756e9731cd47ec;hb=04a688940693c2286530386c05f2c8465da1a6a9;hp=5ff91649a6fcdfd2c322acdba277556e33de3c0e;hpb=1824e4d39b4f042474d29ac91ee59b326ab00da1;p=pintos-anon

diff --git a/src/threads/intr-stubs.h b/src/threads/intr-stubs.h
index 5ff9164..b1f5039 100644
--- a/src/threads/intr-stubs.h
+++ b/src/threads/intr-stubs.h
@@ -1,7 +1,7 @@
 #ifndef HEADER_INTR_STUBS_H
 #define HEADER_INTR_STUBS_H
 
-extern void (*intr_stubs[256]) (void);
+extern void (*const intr_stubs[256]) (void);
 
 void intr_entry (void);
 void intr_exit (void);