diff options
Diffstat (limited to 'mps/code/mpm.h')
| -rw-r--r-- | mps/code/mpm.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/mps/code/mpm.h b/mps/code/mpm.h index b9d8e7548c1..1dfa7dc2c6a 100644 --- a/mps/code/mpm.h +++ b/mps/code/mpm.h | |||
| @@ -311,6 +311,7 @@ extern void MessageDiscard(Arena arena, Message message); | |||
| 311 | /* -- Message Methods, Generic */ | 311 | /* -- Message Methods, Generic */ |
| 312 | extern MessageType MessageGetType(Message message); | 312 | extern MessageType MessageGetType(Message message); |
| 313 | extern MessageClass MessageGetClass(Message message); | 313 | extern MessageClass MessageGetClass(Message message); |
| 314 | extern mps_clock_t MessageGetClock(Message message); | ||
| 314 | /* -- Message Method Dispatchers, Type-specific */ | 315 | /* -- Message Method Dispatchers, Type-specific */ |
| 315 | extern void MessageFinalizationRef(Ref *refReturn, | 316 | extern void MessageFinalizationRef(Ref *refReturn, |
| 316 | Arena arena, Message message); | 317 | Arena arena, Message message); |