1 files changed, 5 insertions, 0 deletions

diff --git a/mps/code/pool.c b/mps/code/pool.c
index 70bc3e41548..ff31b09a8af 100644
--- a/mps/code/pool.c
+++ b/mps/code/pool.c
@@ -110,6 +110,11 @@ Bool PoolCheck(Pool pool)
 
 ARG_DEFINE_KEY(format, Format);
 ARG_DEFINE_KEY(chain, Chain);
+ARG_DEFINE_KEY(extend_by, Size);
+ARG_DEFINE_KEY(min_size, Size);
+ARG_DEFINE_KEY(mean_size, Size);
+ARG_DEFINE_KEY(max_size, Size);
+ARG_DEFINE_KEY(align, Align);
 
 
 /* PoolInit -- initialize a pool