1 files changed, 0 insertions, 1 deletions
diff --git a/mps/code/ref.c b/mps/code/ref.c
index c278e5296e5..af99b2c23c5 100644
--- a/mps/code/ref.c
+++ b/mps/code/ref.c
@@ -1,7 +1,6 @@
 /* impl.c.ref: REFERENCES
 *
 * $Id$
- * $HopeName: MMsrc!ref.c(trunk.13) $
 * Copyright (c) 2001 Ravenbrook Limited.
 *
 * .purpose: Implement operations on Ref, RefSet, ZoneSet, and Rank.

diff --git a/mps/code/ref.c b/mps/code/ref.c index c278e5296e5..af99b2c23c5 100644 --- a/mps/code/ref.c +++ b/mps/code/ref.c
@@ -1,7 +1,6 @@
1	/* impl.c.ref: REFERENCES	1	/* impl.c.ref: REFERENCES
2	*	2	*
3	* $Id$	3	* $Id$
4	* $HopeName: MMsrc!ref.c(trunk.13) $
5	* Copyright (c) 2001 Ravenbrook Limited.	4	* Copyright (c) 2001 Ravenbrook Limited.
6	*	5	*
7	* .purpose: Implement operations on Ref, RefSet, ZoneSet, and Rank.	6	* .purpose: Implement operations on Ref, RefSet, ZoneSet, and Rank.