diff options
Diffstat (limited to 'mps/code/pool.c')
| -rw-r--r-- | mps/code/pool.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/mps/code/pool.c b/mps/code/pool.c index 509c5a52552..e2578cf3497 100644 --- a/mps/code/pool.c +++ b/mps/code/pool.c | |||
| @@ -482,7 +482,7 @@ void PoolTraceEnd(Pool pool, Trace trace) | |||
| 482 | /* PoolWalk -- walk objects in this segment */ | 482 | /* PoolWalk -- walk objects in this segment */ |
| 483 | 483 | ||
| 484 | void PoolWalk(Pool pool, Seg seg, FormattedObjectsStepMethod f, | 484 | void PoolWalk(Pool pool, Seg seg, FormattedObjectsStepMethod f, |
| 485 | void *p, Size s) | 485 | void *p, size_t s) |
| 486 | { | 486 | { |
| 487 | AVERT(Pool, pool); | 487 | AVERT(Pool, pool); |
| 488 | AVERT(Seg, seg); | 488 | AVERT(Seg, seg); |