1 files changed, 2 insertions, 2 deletions

diff --git a/mps/code/poolmvff.c b/mps/code/poolmvff.c
index 4d3044aae86..02823df0e04 100644
--- a/mps/code/poolmvff.c
+++ b/mps/code/poolmvff.c
@@ -409,7 +409,7 @@ static void MVFFBufferEmpty(Pool pool, Buffer buffer,
 
 /* MVFFVarargs -- decode obsolete varargs */
 
-static void MVFFVarargs(ArgStruct args[], va_list varargs)
+static void MVFFVarargs(ArgStruct args[MPS_ARGS_MAX], va_list varargs)
 {
   args[0].key = MPS_KEY_EXTEND_BY;
   args[0].val.size = va_arg(varargs, Size);
@@ -427,7 +427,7 @@ static void MVFFVarargs(ArgStruct args[], va_list varargs)
   AVER(ArgListCheck(args));
 }
 
-static void MVFFDebugVarargs(ArgStruct args[], va_list varargs)
+static void MVFFDebugVarargs(ArgStruct args[MPS_ARGS_MAX], va_list varargs)
 {
   args[0].key = MPS_KEY_POOL_DEBUG_OPTIONS;
   args[0].val.pool_debug_options = va_arg(varargs, mps_pool_debug_option_s *);