diff options
Diffstat (limited to 'mps/code/protocol.c')
| -rw-r--r-- | mps/code/protocol.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/mps/code/protocol.c b/mps/code/protocol.c index 4db59cbf9e0..9d8f6cff6d6 100644 --- a/mps/code/protocol.c +++ b/mps/code/protocol.c | |||
| @@ -5,7 +5,7 @@ | |||
| 5 | * | 5 | * |
| 6 | * DESIGN | 6 | * DESIGN |
| 7 | * | 7 | * |
| 8 | * .design: See design.mps.protocol | 8 | * .design: See <design/protocol/> |
| 9 | */ | 9 | */ |
| 10 | 10 | ||
| 11 | #include "mpm.h" | 11 | #include "mpm.h" |