diff options
Diffstat (limited to 'libguile/stackchk.h')
-rw-r--r-- | libguile/stackchk.h | 23 |
1 files changed, 4 insertions, 19 deletions
diff --git a/libguile/stackchk.h b/libguile/stackchk.h index d30fdde23..6e6a358fc 100644 --- a/libguile/stackchk.h +++ b/libguile/stackchk.h @@ -83,25 +83,10 @@ extern int scm_stack_checking_enabled_p; -#ifdef __STDC__ -extern void scm_report_stack_overflow (void); -extern long scm_stack_size (SCM_STACKITEM *start); -extern void scm_stack_report (void); -extern void scm_init_stackchk (void); - -#else /* STDC */ -extern void scm_report_stack_overflow (); -extern long scm_stack_size (); -extern void scm_stack_report (); -extern void scm_init_stackchk (); - -#endif /* STDC */ - - - - - - +extern void scm_report_stack_overflow SCM_P ((void)); +extern long scm_stack_size SCM_P ((SCM_STACKITEM *start)); +extern void scm_stack_report SCM_P ((void)); +extern void scm_init_stackchk SCM_P ((void)); #endif /* STACKCHKH */ |