1 files changed, 1 insertions, 8 deletions

diff --git a/mps/code/poolabs.c b/mps/code/poolabs.c
index c29f409ae9b..212fa76a44c 100644
--- a/mps/code/poolabs.c
+++ b/mps/code/poolabs.c
@@ -122,7 +122,7 @@ DEFINE_CLASS(AbstractPoolClass, class)
   class->size = 0;
   class->offset = 0;
   class->attr = 0;
-  class->varargs = PoolTrivVarargs;
+  class->varargs = ArgTrivVarargs;
   class->init = PoolTrivInit;
   class->finish = PoolTrivFinish;
   class->alloc = PoolNoAlloc;
@@ -195,13 +195,6 @@ void PoolTrivFinish(Pool pool)
   NOOP;
 }
 
-void PoolTrivVarargs(ArgStruct args[MPS_ARGS_MAX], va_list varargs)
-{
-  UNUSED(varargs);
-  args[0].key = MPS_KEY_ARGS_END;
-  AVER(ArgListCheck(args));
-}
-
 Res PoolTrivInit(Pool pool, ArgList args)
 {
   AVERT(Pool, pool);