diff --git a/mps/src/pool.c b/mps/src/pool.c
index 919b14674c4..47ece0e465f 100644
--- a/mps/src/pool.c
+++ b/mps/src/pool.c
@@ -1,6 +1,6 @@
 /* impl.c.pool: POOL IMPLEMENTATION
  *
- * $HopeName: MMsrc!pool.c(trunk.38) $
+ * $HopeName: MMsrc!pool.c(trunk.39) $
  * Copyright (C) 1997 The Harlequin Group Limited.  All rights reserved.
  *
  * This is the implementation of the generic pool interface.  The
@@ -12,7 +12,7 @@
 
 #include "mpm.h"
 
-SRCID(pool, "$HopeName: MMsrc!pool.c(trunk.38) $");
+SRCID(pool, "$HopeName: MMsrc!pool.c(trunk.39) $");
 
 
 Bool PoolClassCheck(PoolClass class)
@@ -121,7 +121,6 @@ failInit:
   RingFinish(&pool->actionRing);
   RingFinish(&pool->segRing);
   RingFinish(&pool->bufferRing);
-  RingRemove(&pool->arenaRing);
   RingFinish(&pool->arenaRing);
   return res;
 }