diff options
Diffstat (limited to 'rts/RtsUtils.h')
| -rw-r--r-- | rts/RtsUtils.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/rts/RtsUtils.h b/rts/RtsUtils.h index 5c986fe4a2..c87aedb3a7 100644 --- a/rts/RtsUtils.h +++ b/rts/RtsUtils.h @@ -33,6 +33,7 @@ void stgFree(void* p); * Misc other utilities * -------------------------------------------------------------------------- */ +int rtsSleep(Time t); char *time_str(void); char *showStgWord64(StgWord64, char *, bool); |