diff options
| -rw-r--r-- | src/pool.c | 14 | ||||
| -rw-r--r-- | src/pool.h | 19 |
2 files changed, 13 insertions, 20 deletions
diff --git a/src/pool.c b/src/pool.c index 649790b2d..a367a30a5 100644 --- a/src/pool.c +++ b/src/pool.c @@ -4,9 +4,21 @@ ** See Copyright Notice in mruby.h */ -#include "pool.h" +#include "mruby.h" +#include <stddef.h> #include <string.h> +struct mrb_pool { + mrb_state *mrb; + struct mrb_pool_page { + struct mrb_pool_page *next; + size_t offset; + size_t len; + void *last; + char page[1]; + } *pages; +}; + #undef TEST_POOL #ifdef TEST_POOL #include <stdio.h> diff --git a/src/pool.h b/src/pool.h deleted file mode 100644 index 4d53ccd37..000000000 --- a/src/pool.h +++ /dev/null @@ -1,19 +0,0 @@ -/* -** pool.h - memory pool -** -** See Copyright Notice in mruby.h -*/ - -#include "mruby.h" -#include <stddef.h> - -typedef struct mrb_pool { - mrb_state *mrb; - struct mrb_pool_page { - struct mrb_pool_page *next; - size_t offset; - size_t len; - void *last; - char page[1]; - } *pages; -} mrb_pool; |
