diff --git a/mps/src/poolmvff.c b/mps/src/poolmvff.c
index a6cc11252de..4ff133bbf47 100644
--- a/mps/src/poolmvff.c
+++ b/mps/src/poolmvff.c
@@ -1,6 +1,6 @@
 /* impl.c.poolmvff: First Fit Manual Variable Pool
  * 
- * $HopeName: MMsrc!poolmvff.c(trunk.5) $
+ * $HopeName: MMsrc!poolmvff.c(trunk.6) $
  * Copyright (C) 1998 Harlequin Group plc.  All rights reserved.
  *
  * .purpose: This is a pool class for manually managed objects of
@@ -17,7 +17,7 @@
 #include "mpscmvff.h"
 #include "dbgpool.h"
 
-SRCID(poolmvff, "$HopeName$");
+SRCID(poolmvff, "$HopeName: MMsrc!poolmvff.c(trunk.6) $");
 
 
 /* Would go in poolmvff.h if the class had any MPS-internal clients. */
@@ -69,15 +69,6 @@ typedef MVFFDebugStruct *MVFFDebug;
 #define MVFFDebugPoolMVFF(mvffd) (&((mvffd)->mvffStruct))
 
 
-/* MVFFMinSegSize -- Minimum size of all MVFF segments */
-
-static Size MVFFMinSegSize(MVFF mvff) {
-  /* Used from MVFFCheck */
-
-  return mvff->extendBy;
-}
-
-
 /* MVFFAddToFreeList -- Add given range to free list 
  *
  * Updates MVFF counters for additional free space.