diff options
Diffstat (limited to 'mps/code/proti3.c')
| -rw-r--r-- | mps/code/proti3.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/mps/code/proti3.c b/mps/code/proti3.c index caea8be71a7..72598f170ba 100644 --- a/mps/code/proti3.c +++ b/mps/code/proti3.c | |||
| @@ -3,7 +3,7 @@ | |||
| 3 | * $Id$ | 3 | * $Id$ |
| 4 | * Copyright (c) 2001 Ravenbrook Limited. See end of file for license. | 4 | * Copyright (c) 2001 Ravenbrook Limited. See end of file for license. |
| 5 | * | 5 | * |
| 6 | * .design: See design.mps.prot for the generic design of the interface | 6 | * .design: See <design/prot/> for the generic design of the interface |
| 7 | * which is implemented in this module, including the contracts for the | 7 | * which is implemented in this module, including the contracts for the |
| 8 | * functions. | 8 | * functions. |
| 9 | * | 9 | * |