1 files changed, 1 insertions, 1 deletions

diff --git a/mps/code/arenacl.c b/mps/code/arenacl.c
index a9af0c4d7bc..57918755b77 100644
--- a/mps/code/arenacl.c
+++ b/mps/code/arenacl.c
@@ -181,7 +181,7 @@ static void ClientChunkFinish(Chunk chunk)
 
 /* ClientArenaVarargs -- parse obsolete varargs */
 
-static void ClientArenaVarargs(ArgStruct args[], va_list varargs)
+static void ClientArenaVarargs(ArgStruct args[MPS_ARGS_MAX], va_list varargs)
 {
   args[0].key = MPS_KEY_ARENA_SIZE;
   args[0].val.size = va_arg(varargs, Size);