summaryrefslogtreecommitdiff
path: root/Build/source/texk/web2c/ctiedir/ctie-k.ch
diff options
context:
space:
mode:
Diffstat (limited to 'Build/source/texk/web2c/ctiedir/ctie-k.ch')
-rw-r--r--Build/source/texk/web2c/ctiedir/ctie-k.ch6
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.