diff options
Diffstat (limited to 'Build/source/texk/web2c/cwebboot.cin')
-rw-r--r-- | Build/source/texk/web2c/cwebboot.cin | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Build/source/texk/web2c/cwebboot.cin b/Build/source/texk/web2c/cwebboot.cin index 2e9be01a814..38f65b8ef07 100644 --- a/Build/source/texk/web2c/cwebboot.cin +++ b/Build/source/texk/web2c/cwebboot.cin @@ -1098,7 +1098,7 @@ void fatal(const char*s,const char*t) #line 1182 "cwebdir/common.w" { -if(*s)printf(s); +if(*s)printf("%s",s); err_print(t); history= fatal_message;exit(wrap_up()); } |