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 ad695bc23a9..61a20d3cbf2 100644 --- a/mps/code/mpstd.h +++ b/mps/code/mpstd.h | |||
| @@ -40,7 +40,7 @@ | |||
| 40 | * we want it to just work out of the box with whatever compiler is | 40 | * we want it to just work out of the box with whatever compiler is |
| 41 | * being used. In other words we do not require the client to define | 41 | * being used. In other words we do not require the client to define |
| 42 | * CONFIG_PF_*. | 42 | * CONFIG_PF_*. |
| 43 | * (This is the case that justifes mpstd.h doing platform detection | 43 | * (This is the case that justifies mpstd.h doing platform detection |
| 44 | * by looking at preprocessor symbols; otherwise we'd simply use | 44 | * by looking at preprocessor symbols; otherwise we'd simply use |
| 45 | * CONFIG_PF_*). | 45 | * CONFIG_PF_*). |
| 46 | * | 46 | * |