aboutsummaryrefslogtreecommitdiffstats
path: root/mps/code/pool.c
diff options
context:
space:
mode:
authorRichard Brooksby2013-05-09 00:06:07 +0100
committerRichard Brooksby2013-05-09 00:06:07 +0100
commit3189ccfc9be2f8e791017f051668dd8ca704ea99 (patch)
tree40a4856bff2094aab830341beef622e1698458f9 /mps/code/pool.c
parentb323278e18ff946f99d742a11dad870fd2dc3007 (diff)
downloademacs-3189ccfc9be2f8e791017f051668dd8ca704ea99.tar.gz
emacs-3189ccfc9be2f8e791017f051668dd8ca704ea99.zip
Consolidating common pool keywords.
Copied from Perforce Change: 181649 ServerID: perforce.ravenbrook.com
Diffstat (limited to 'mps/code/pool.c')
-rw-r--r--mps/code/pool.c5
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)
110 110
111ARG_DEFINE_KEY(format, Format); 111ARG_DEFINE_KEY(format, Format);
112ARG_DEFINE_KEY(chain, Chain); 112ARG_DEFINE_KEY(chain, Chain);
113ARG_DEFINE_KEY(extend_by, Size);
114ARG_DEFINE_KEY(min_size, Size);
115ARG_DEFINE_KEY(mean_size, Size);
116ARG_DEFINE_KEY(max_size, Size);
117ARG_DEFINE_KEY(align, Align);
113 118
114 119
115/* PoolInit -- initialize a pool 120/* PoolInit -- initialize a pool