diff options
Diffstat (limited to 'mps/code')
| -rw-r--r-- | mps/code/dbgpool.c | 3 |
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 { |