diff options
author | Dirk Herrmann <dirk@dirk-herrmanns-seiten.de> | 2000-03-17 16:10:13 +0000 |
---|---|---|
committer | Dirk Herrmann <dirk@dirk-herrmanns-seiten.de> | 2000-03-17 16:10:13 +0000 |
commit | f04d8caf82e152771946f648850a4f612e59c41d (patch) | |
tree | 0ac513c6ac4625567ea4109e84e821fa9b19519c /libguile/gdbint.c | |
parent | 003d1fd0462541a64f24c58c55ae71af5afd67d4 (diff) | |
download | guile-f04d8caf82e152771946f648850a4f612e59c41d.tar.gz |
Only include ports.h where it is actually needed.
Diffstat (limited to 'libguile/gdbint.c')
-rw-r--r-- | libguile/gdbint.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/libguile/gdbint.c b/libguile/gdbint.c index 6e0b294b3..2771a9f76 100644 --- a/libguile/gdbint.c +++ b/libguile/gdbint.c @@ -60,6 +60,7 @@ #include "eval.h" #include "chars.h" #include "modules.h" +#include "ports.h" #include "gdbint.h" |