1 files changed, 1 insertions, 0 deletions
diff --git a/mps/code/poolmv.c b/mps/code/poolmv.c
index 48866b17901..e31289faef4 100644
--- a/mps/code/poolmv.c
+++ b/mps/code/poolmv.c
@@ -1,6 +1,7 @@
 /* impl.c.poolmv: MANUAL VARIABLE POOL
 *
 * $Id$
+ * $HopeName: MMsrc!poolmv.c(trunk.41) $
 * Copyright (c) 2001 Ravenbrook Limited.
 *
 * **** RESTRICTION: This pool may not allocate from the arena control

diff --git a/mps/code/poolmv.c b/mps/code/poolmv.c index 48866b17901..e31289faef4 100644 --- a/mps/code/poolmv.c +++ b/mps/code/poolmv.c
@@ -1,6 +1,7 @@
1	/* impl.c.poolmv: MANUAL VARIABLE POOL	1	/* impl.c.poolmv: MANUAL VARIABLE POOL
2	*	2	*
3	* $Id$	3	* $Id$
		4	* $HopeName: MMsrc!poolmv.c(trunk.41) $
4	* Copyright (c) 2001 Ravenbrook Limited.	5	* Copyright (c) 2001 Ravenbrook Limited.
5	*	6	*
6	* **** RESTRICTION: This pool may not allocate from the arena control	7	* **** RESTRICTION: This pool may not allocate from the arena control