aboutsummaryrefslogtreecommitdiffstats
path: root/mps/code/mpstd.h
diff options
context:
space:
mode:
Diffstat (limited to 'mps/code/mpstd.h')
-rw-r--r--mps/code/mpstd.h2
1 files changed, 1 insertions, 1 deletions
diff --git a/mps/code/mpstd.h b/mps/code/mpstd.h
index 1725639691f..0345810b723 100644
--- a/mps/code/mpstd.h
+++ b/mps/code/mpstd.h
@@ -252,7 +252,7 @@
252 252
253 253
254#else 254#else
255#error "Unable to detect target platform" 255#error "The MPS Kit does not have a configuration for this platform out of the box; see manual/build.txt"
256#endif 256#endif
257 257
258 258