diff options
Diffstat (limited to 'Build/source/texk/web2c/cwebdir/common.c')
-rw-r--r-- | Build/source/texk/web2c/cwebdir/common.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Build/source/texk/web2c/cwebdir/common.c b/Build/source/texk/web2c/cwebdir/common.c index 25bd81007a2..2bf7a9d4a81 100644 --- a/Build/source/texk/web2c/cwebdir/common.c +++ b/Build/source/texk/web2c/cwebdir/common.c @@ -1063,7 +1063,7 @@ void fatal(s,t) char*s,*t; { -if(*s)printf("%s",s); +if(*s)printf(s); err_print(t); history= fatal_message;exit(wrap_up()); } |