1 files changed, 0 insertions, 1 deletions

diff --git a/mps/code/mpm.h b/mps/code/mpm.h
index ced8ec3e4f6..4292f9fa671 100644
--- a/mps/code/mpm.h
+++ b/mps/code/mpm.h
@@ -219,7 +219,6 @@ extern void PoolTraceEnd(Pool pool, Trace trace);
 extern void PoolWalk(Pool pool, Seg seg, FormattedObjectsStepMethod f,
                      void *v, size_t s);
 extern void PoolFreeWalk(Pool pool, FreeBlockStepMethod f, void *p);
-extern void PoolTrivVarargs(ArgStruct args[MPS_ARGS_MAX], va_list varargs);
 extern Res PoolTrivInit(Pool pool, ArgList arg);
 extern void PoolTrivFinish(Pool pool);
 extern Res PoolNoAlloc(Addr *pReturn, Pool pool, Size size,