diff options
author | Jim Blandy <jimb@red-bean.com> | 1996-09-10 02:30:43 +0000 |
---|---|---|
committer | Jim Blandy <jimb@red-bean.com> | 1996-09-10 02:30:43 +0000 |
commit | dfc40e20f41ef59c3da0ac26a73357efae175644 (patch) | |
tree | 021651cc022cb1445b22c0b3c28b696f6fffb165 | |
parent | 16cd1abdd41f4712ac660b21a142a1def2505e87 (diff) | |
download | guile-dfc40e20f41ef59c3da0ac26a73357efae175644.tar.gz |
* stackchk.h: #include "libguile/debug.h",
-rw-r--r-- | libguile/stackchk.h | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/libguile/stackchk.h b/libguile/stackchk.h index 8c8205c07..d30fdde23 100644 --- a/libguile/stackchk.h +++ b/libguile/stackchk.h @@ -45,6 +45,10 @@ #include "libguile/__scm.h" +#include "libguile/continuations.h" +#ifdef DEBUG_EXTENSIONS +#include "libguile/debug.h" +#endif /* With debug extensions we have the possibility to use the debug options |