1 files changed, 1 insertions, 0 deletions
diff --git a/mps/code/prmcli.h b/mps/code/prmcli.h
index c5e0b493cda..c302a4b1e62 100644
--- a/mps/code/prmcli.h
+++ b/mps/code/prmcli.h
@@ -1,6 +1,7 @@
 /* impl.h.prmcli:  PROTECTION MUTATOR CONTEXT (Linux)
 *
 * $Id$
+ * $HopeName: MMsrc!prmcli.h(trunk.1) $
 * Copyright (c) 2001 Ravenbrook Limited.
 *
 * .readership: MPS developers.

diff --git a/mps/code/prmcli.h b/mps/code/prmcli.h index c5e0b493cda..c302a4b1e62 100644 --- a/mps/code/prmcli.h +++ b/mps/code/prmcli.h
@@ -1,6 +1,7 @@
1	/* impl.h.prmcli: PROTECTION MUTATOR CONTEXT (Linux)	1	/* impl.h.prmcli: PROTECTION MUTATOR CONTEXT (Linux)
2	*	2	*
3	* $Id$	3	* $Id$
		4	* $HopeName: MMsrc!prmcli.h(trunk.1) $
4	* Copyright (c) 2001 Ravenbrook Limited.	5	* Copyright (c) 2001 Ravenbrook Limited.
5	*	6	*
6	* .readership: MPS developers.	7	* .readership: MPS developers.