diff options
| -rw-r--r-- | mps/code/mps.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/mps/code/mps.h b/mps/code/mps.h index 700c41462d5..8e48582c0d6 100644 --- a/mps/code/mps.h +++ b/mps/code/mps.h | |||
| @@ -328,7 +328,7 @@ extern mps_rank_t mps_rank_weak(void); | |||
| 328 | 328 | ||
| 329 | #define MPS_RM_CONST (((mps_rm_t)1<<0)) | 329 | #define MPS_RM_CONST (((mps_rm_t)1<<0)) |
| 330 | #define MPS_RM_PROT (((mps_rm_t)1<<1)) | 330 | #define MPS_RM_PROT (((mps_rm_t)1<<1)) |
| 331 | #define MPS_RM_PROT_INNER (((mps_rm_t)1<<1)) | 331 | #define MPS_RM_PROT_INNER (((mps_rm_t)1<<2)) |
| 332 | 332 | ||
| 333 | 333 | ||
| 334 | /* Allocation Point */ | 334 | /* Allocation Point */ |