X-Git-Url: http://git.tuebingen.mpg.de/?p=paraslash.git;a=blobdiff_plain;f=buffer_tree.h;h=0bb31b188a952cdcf08075af1d4374dc896d1533;hp=0634e63c595ac8adf74dfc235e1e8dd9c9ccd59f;hb=d9676861067ac426429a3b76fb5cb237a706d5b3;hpb=6793399f34237840fbf48220971966bc9a3d5a18

diff --git a/buffer_tree.h b/buffer_tree.h
index 0634e63c..0bb31b18 100644
--- a/buffer_tree.h
+++ b/buffer_tree.h
@@ -168,7 +168,6 @@ size_t btr_pool_size(struct btr_pool *btrp);
 struct btr_pool *btr_pool_new(const char *name, size_t area_size);
 void btr_pool_free(struct btr_pool *btrp);
 size_t btr_pool_get_buffer(struct btr_pool *btrp, char **result);
-void btr_pool_allocate(struct btr_pool *btrp, size_t size);
 void btr_add_output_pool(struct btr_pool *btrp, size_t size,
 	struct btr_node *btrn);
 size_t btr_pool_unused(struct btr_pool *btrp);