1 files changed, 1 insertions, 1 deletions

diff --git a/mps/code/mpm.h b/mps/code/mpm.h
index 5e3984a8b0c..ced8ec3e4f6 100644
--- a/mps/code/mpm.h
+++ b/mps/code/mpm.h
@@ -219,7 +219,7 @@ extern void PoolTraceEnd(Pool pool, Trace trace);
 extern void PoolWalk(Pool pool, Seg seg, FormattedObjectsStepMethod f,
                      void *v, size_t s);
 extern void PoolFreeWalk(Pool pool, FreeBlockStepMethod f, void *p);
-extern void PoolTrivVarargs(ArgStruct args[], va_list varargs);
+extern void PoolTrivVarargs(ArgStruct args[MPS_ARGS_MAX], va_list varargs);
 extern Res PoolTrivInit(Pool pool, ArgList arg);
 extern void PoolTrivFinish(Pool pool);
 extern Res PoolNoAlloc(Addr *pReturn, Pool pool, Size size,