1 files changed, 11 insertions, 0 deletions

diff --git a/mps/code/arg.c b/mps/code/arg.c
index d8ab7277008..75056285652 100644
--- a/mps/code/arg.c
+++ b/mps/code/arg.c
@@ -167,6 +167,17 @@ void ArgRequire(ArgStruct *argOut, ArgList args, Key key) {
 }
 
 
+/* ArgTrivVarargs -- class method to ignore deprecated varargs */
+
+void ArgTrivVarargs(ArgStruct args[MPS_ARGS_MAX], va_list varargs)
+{
+  UNUSED(varargs);
+  args[0].key = MPS_KEY_ARGS_END;
+  AVER(ArgListCheck(args));
+}
+
+
+
 /* C. COPYRIGHT AND LICENSE
  *
  * Copyright (C) 2001-2013 Ravenbrook Limited <http://www.ravenbrook.com/>.