aboutsummaryrefslogtreecommitdiffstats
path: root/mps/code/pool.c
diff options
context:
space:
mode:
Diffstat (limited to 'mps/code/pool.c')
-rw-r--r--mps/code/pool.c2
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
484void PoolWalk(Pool pool, Seg seg, FormattedObjectsStepMethod f, 484void 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);