diff options
Diffstat (limited to 'includes/RtsExternal.h')
| -rw-r--r-- | includes/RtsExternal.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/includes/RtsExternal.h b/includes/RtsExternal.h index 30a5b56702..41c608dbf2 100644 --- a/includes/RtsExternal.h +++ b/includes/RtsExternal.h @@ -43,6 +43,7 @@ extern int forkOS_createThread ( HsStablePtr entry ); extern pid_t forkProcess(HsStablePtr *entry); extern HsBool rtsSupportsBoundThreads(void); extern StgInt newSpark (StgRegTable *reg, StgClosure *p); +extern void stopTimer(void); /* grimy low-level support functions defined in StgPrimFloat.c */ extern StgDouble __encodeDouble (I_ size, StgByteArray arr, I_ e); |