Make intr_stubs const.
[pintos-anon] / src / threads / intr-stubs.h
index 5ff91649a6fcdfd2c322acdba277556e33de3c0e..b1f503943a852b23909d569c76756e9731cd47ec 100644 (file)
@@ -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);