diff options
author | Andy Wingo <wingo@pobox.com> | 2018-06-19 10:50:20 +0200 |
---|---|---|
committer | Andy Wingo <wingo@pobox.com> | 2018-06-19 10:50:20 +0200 |
commit | c2b927d4eac1372db71611251102370a060a56c0 (patch) | |
tree | eee52da7f248ff6d4e44f73c15c6615b1fd6a9ed | |
parent | 1abc5289bd7e212ad01594264507eea8e1b32cbc (diff) | |
download | guile-c2b927d4eac1372db71611251102370a060a56c0.tar.gz |
Remove threads.h include from ports.h
-rw-r--r-- | libguile/ports.h | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/libguile/ports.h b/libguile/ports.h index f2629852a..8b0df79c9 100644 --- a/libguile/ports.h +++ b/libguile/ports.h @@ -33,7 +33,6 @@ #include "libguile/tags.h" #include "libguile/error.h" #include "libguile/print.h" -#include "libguile/threads.h" #include "libguile/strings.h" #include "libguile/vectors.h" |