Apparently forever (according to [available] history) two backslashes have
been emitted when, afaict, only one was meant.
ch = GET ();
switch (ch)
{
- /* Handle strings broken across lines, by turning '\n' into
- '\\' and 'n'. */
+ /* Handle strings broken across lines, by turning '\\' followed
+ by '\n' into '\\' (already emitted when state moved to 6) and
+ 'n'. */
case '\n':
- UNGET ('n');
add_newlines++;
- PUT ('\\');
+ PUT ('n');
continue;
case EOF: