aboutsummaryrefslogtreecommitdiffstats
path: root/mps/code
diff options
context:
space:
mode:
Diffstat (limited to 'mps/code')
-rw-r--r--mps/code/dbgpool.c3
1 files changed, 2 insertions, 1 deletions
diff --git a/mps/code/dbgpool.c b/mps/code/dbgpool.c
index 8d416815471..d70e855adc3 100644
--- a/mps/code/dbgpool.c
+++ b/mps/code/dbgpool.c
@@ -130,7 +130,8 @@ static Res DebugPoolInit(Pool pool, ArgList args)
130 130
131 AVERT(Pool, pool); 131 AVERT(Pool, pool);
132 132
133 /* FIXME: Split this structure into separate keys */ 133 /* TODO: Split this structure into separate keyword arguments,
134 now that we can support them. */
134 if (ArgPick(&arg, args, MPS_KEY_POOL_DEBUG_OPTIONS)) 135 if (ArgPick(&arg, args, MPS_KEY_POOL_DEBUG_OPTIONS))
135 options = (PoolDebugOptions)arg.val.pool_debug_options; 136 options = (PoolDebugOptions)arg.val.pool_debug_options;
136 else { 137 else {