diff options
Diffstat (limited to 'Build/source/texk/web2c/ctiedir/ctie-k.ch')
-rw-r--r-- | Build/source/texk/web2c/ctiedir/ctie-k.ch | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/Build/source/texk/web2c/ctiedir/ctie-k.ch b/Build/source/texk/web2c/ctiedir/ctie-k.ch index 33e69c02dc5..978737bf762 100644 --- a/Build/source/texk/web2c/ctiedir/ctie-k.ch +++ b/Build/source/texk/web2c/ctiedir/ctie-k.ch @@ -422,6 +422,12 @@ char *s, *t; void pfatal_error (const char *s, const char *t) @z +@x l.707 + else fprintf(stderr, "\n"); +@y + else putc('\n', stderr); +@z + @x l.713 @ We need an include file for the above. |