diff options
Diffstat (limited to 'mps/code/poolmv2.c')
| -rw-r--r-- | mps/code/poolmv2.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/mps/code/poolmv2.c b/mps/code/poolmv2.c index b8254ae3040..512a08ec3e6 100644 --- a/mps/code/poolmv2.c +++ b/mps/code/poolmv2.c | |||
| @@ -1,6 +1,7 @@ | |||
| 1 | /* impl.c.poolmv2: MANUAL VARIABLE-SIZED TEMPORAL POOL | 1 | /* impl.c.poolmv2: MANUAL VARIABLE-SIZED TEMPORAL POOL |
| 2 | * | 2 | * |
| 3 | * $Id$ | 3 | * $Id$ |
| 4 | * $HopeName: MMsrc!poolmv2.c(trunk.19) $ | ||
| 4 | * Copyright (c) 2001 Ravenbrook Limited. | 5 | * Copyright (c) 2001 Ravenbrook Limited. |
| 5 | * | 6 | * |
| 6 | * .purpose: A manual-variable pool designed to take advantage of | 7 | * .purpose: A manual-variable pool designed to take advantage of |