diff options
Diffstat (limited to 'includes/HsFFI.h')
| -rw-r--r-- | includes/HsFFI.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/includes/HsFFI.h b/includes/HsFFI.h index a21811efb5..ab3b3ebb23 100644 --- a/includes/HsFFI.h +++ b/includes/HsFFI.h @@ -150,6 +150,7 @@ extern void hs_init (int *argc, char **argv[]); extern void hs_exit (void); extern void hs_set_argv (int argc, char *argv[]); extern void hs_add_root (void (*init_root)(void)); +extern void hs_thread_done (void); extern void hs_perform_gc (void); |