1 files changed, 1 insertions, 0 deletions

diff --git a/mps/code/arg.h b/mps/code/arg.h
index e756da04182..2bcc80b0c61 100644
--- a/mps/code/arg.h
+++ b/mps/code/arg.h
@@ -38,6 +38,7 @@ extern Bool ArgListCheck(ArgList args);
 
 extern Bool ArgPick(ArgStruct *argOut, ArgList args, Key key);
 extern void ArgRequire(ArgStruct *argOut, ArgList args, Key key);
+extern void ArgTrivVarargs(ArgStruct args[MPS_ARGS_MAX], va_list varargs);
 
 extern Bool ArgCheckCant(Arg arg);
 extern Bool ArgCheckFormat(Arg arg);