@@ -712,7 +712,7 @@ void write_langfile(const char *filename
if (show_todo == 2) {
fprintf(stderr, "Warning:%s: String '%s' is untranslated\n", filename, s + 1);
} else {
char *s = "<TODO> ";
const char *s = "<TODO> ";
while(*s) put_byte(*s++);
}