diff --git a/mps/src/buffer.c b/mps/src/buffer.c
index e6837117edf..dc7af1c62ea 100644
--- a/mps/src/buffer.c
+++ b/mps/src/buffer.c
@@ -1,6 +1,6 @@
 /* impl.c.buffer: ALLOCATION BUFFER IMPLEMENTATION
  *
- * $HopeName: MMsrc!buffer.c(trunk.31) $
+ * $HopeName: MMsrc!buffer.c(trunk.32) $
  * Copyright (C) 1997 The Harlequin Group Limited.  All rights reserved.
  *
  * This is (part of) the implementation of allocation buffers.
@@ -25,7 +25,7 @@
 
 #include "mpm.h"
 
-SRCID(buffer, "$HopeName: MMsrc!buffer.c(trunk.31) $");
+SRCID(buffer, "$HopeName: MMsrc!buffer.c(trunk.32) $");
 
 
 /* BufferCheck -- check consistency of a buffer */
@@ -232,7 +232,7 @@ Res BufferInit(Buffer buffer, Pool pool, Rank rank)
 
 /* BufferDetach -- detach a buffer from a segment */
 
-static void BufferDetach(Buffer buffer, Pool pool)
+void BufferDetach(Buffer buffer, Pool pool)
 {
   AVERT(Buffer, buffer);
   AVER(BufferIsReady(buffer));
diff --git a/mps/src/mpm.h b/mps/src/mpm.h
index 58be405da2d..b8e0d20d66f 100644
--- a/mps/src/mpm.h
+++ b/mps/src/mpm.h
@@ -1,6 +1,6 @@
 /* impl.h.mpm: MEMORY POOL MANAGER DEFINITIONS
  *
- * $HopeName: MMsrc!mpm.h(trunk.44) $
+ * $HopeName: MMsrc!mpm.h(trunk.45) $
  * Copyright (C) 1997 The Harlequin Group Limited.  All rights reserved.
  */
 
@@ -504,6 +504,7 @@ extern Res BufferInit(Buffer buffer, Pool pool, Rank rank);
 extern void BufferFinish(Buffer buffer);
 extern Bool BufferIsReset(Buffer buffer);
 extern Bool BufferIsReady(Buffer buffer);
+extern void BufferDetach(Buffer buffer, Pool pool);
 extern void BufferFlip(Buffer buffer);
 extern Addr BufferScanLimit(Buffer buffer);
 extern AP (BufferAP)(Buffer buffer);