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) AVERT(Pool, pool); - /* FIXME: Split this structure into separate keys */ + /* TODO: Split this structure into separate keyword arguments, + now that we can support them. */ if (ArgPick(&arg, args, MPS_KEY_POOL_DEBUG_OPTIONS)) options = (PoolDebugOptions)arg.val.pool_debug_options; else {