ch = GET ();
if (ch == EOF)
{
- as_warn (_("end of file in string: inserted '\"'"));
+ as_warn (_("end of file in string; inserted '\"'"));
state = old_state;
UNGET ('\n');
PUT ('"');
break;
#if defined(IGNORE_NONSTANDARD_ESCAPES) | defined(ONLY_STANDARD_ESCAPES)
default:
- as_warn (_("Unknown escape '\\%c' in string: Ignored"), ch);
+ as_warn (_("unknown escape '\\%c' in string; ignored"), ch);
break;
#else /* ONLY_STANDARD_ESCAPES */
default:
#endif /* ONLY_STANDARD_ESCAPES */
case EOF:
- as_warn (_("End of file in string: '\"' inserted"));
+ as_warn (_("end of file in string; '\"' inserted"));
PUT ('"');
continue;
}
if ((ch = GET ()) != '\'')
{
#ifdef REQUIRE_CHAR_CLOSE_QUOTE
- as_warn (_("Missing close quote: (assumed)"));
+ as_warn (_("missing close quote; (assumed)"));
#else
if (ch != EOF)
UNGET (ch);
while (ch != EOF && !IS_NEWLINE (ch))
ch = GET ();
if (ch == EOF)
- as_warn (_("EOF in Comment: Newline inserted"));
+ as_warn (_("end of file in comment; newline inserted"));
state = 0;
PUT ('\n');
break;