1 files changed, 0 insertions, 1 deletions
diff --git a/mps/code/poolncv.c b/mps/code/poolncv.c
index 9a177f55f96..6257a0a9db6 100644
--- a/mps/code/poolncv.c
+++ b/mps/code/poolncv.c
@@ -1,7 +1,6 @@
 /*  impl.c.poolncv: NULL POOL COVERAGE TEST
 *
 *  $Id$
- *  $HopeName: MMsrc!poolncv.c(trunk.9) $
 *  Copyright (c) 2001 Ravenbrook Limited.
 */

diff --git a/mps/code/poolncv.c b/mps/code/poolncv.c index 9a177f55f96..6257a0a9db6 100644 --- a/mps/code/poolncv.c +++ b/mps/code/poolncv.c
@@ -1,7 +1,6 @@
1	/* impl.c.poolncv: NULL POOL COVERAGE TEST	1	/* impl.c.poolncv: NULL POOL COVERAGE TEST
2	*	2	*
3	* $Id$	3	* $Id$
4	* $HopeName: MMsrc!poolncv.c(trunk.9) $
5	* Copyright (c) 2001 Ravenbrook Limited.	4	* Copyright (c) 2001 Ravenbrook Limited.
6	*/	5	*/
7		6