diff options
Diffstat (limited to 'board/mpl/common/common_util.c')
-rw-r--r-- | board/mpl/common/common_util.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/board/mpl/common/common_util.c b/board/mpl/common/common_util.c index 60c49af..a4a73a6 100644 --- a/board/mpl/common/common_util.c +++ b/board/mpl/common/common_util.c @@ -301,7 +301,7 @@ extern char *stdio_names[]; void show_stdio_dev(void) { - /* Print informations */ + /* Print information */ printf ("In: "); if (stdio_devices[stdin] == NULL) { printf ("No input devices available!\n"); |