Fix broken port merge.
authorLudovic Courtès <ludo@gnu.org>
Wed, 10 Sep 2008 21:32:50 +0000 (23:32 +0200)
committerLudovic Courtès <ludo@gnu.org>
Wed, 10 Sep 2008 21:32:50 +0000 (23:32 +0200)
commit7f2a6c387c0610b774c5b90ab080e69845f76dfc
treeff2048b4b03551c4e5875581c2e1a25e93296e6b
parent6f03035fe80d1c25ffadc42ec59c473402f65f60
Fix broken port merge.

* libguile/ports.c (finalize_port): Don't call `scm_remove_from_port_table ()'.
  (scm_flush): Don't refer to `scm_i_port_table_size'.
  (scm_ports_prehistory): Don't allocate `scm_i_port_table'.

* libguile/ports.h (scm_i_port_table_room): Remove declaration.
libguile/ports.c
libguile/ports.h