1 files changed, 1 insertions, 1 deletions

diff --git a/mps/code/poolabs.c b/mps/code/poolabs.c
index 6fc0e279cb8..c29f409ae9b 100644
--- a/mps/code/poolabs.c
+++ b/mps/code/poolabs.c
@@ -195,7 +195,7 @@ void PoolTrivFinish(Pool pool)
   NOOP;
 }
 
-void PoolTrivVarargs(ArgStruct args[], va_list varargs)
+void PoolTrivVarargs(ArgStruct args[MPS_ARGS_MAX], va_list varargs)
 {
   UNUSED(varargs);
   args[0].key = MPS_KEY_ARGS_END;