diff options
Diffstat (limited to 'mps/code/mpstd.h')
| -rw-r--r-- | mps/code/mpstd.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/mps/code/mpstd.h b/mps/code/mpstd.h index b803e72ebb6..62edfcdfa8d 100644 --- a/mps/code/mpstd.h +++ b/mps/code/mpstd.h | |||
| @@ -1,4 +1,4 @@ | |||
| 1 | /* impl.h.mpstd: HARLEQUIN MEMORY POOL SYSTEM TARGET DETECTION | 1 | /* impl.h.mpstd: RAVENBROOK MEMORY POOL SYSTEM TARGET DETECTION |
| 2 | * | 2 | * |
| 3 | * $Id$ | 3 | * $Id$ |
| 4 | * Copyright (c) 2001 Ravenbrook Limited. | 4 | * Copyright (c) 2001 Ravenbrook Limited. |