diff options
Diffstat (limited to 'Build/source/texk/web2c/xetexdir/xetex.ch')
-rw-r--r-- | Build/source/texk/web2c/xetexdir/xetex.ch | 5 |
1 files changed, 1 insertions, 4 deletions
diff --git a/Build/source/texk/web2c/xetexdir/xetex.ch b/Build/source/texk/web2c/xetexdir/xetex.ch index 562da5393b0..4923e9d4faa 100644 --- a/Build/source/texk/web2c/xetexdir/xetex.ch +++ b/Build/source/texk/web2c/xetexdir/xetex.ch @@ -6939,12 +6939,9 @@ k:=biggest_lang+1; @z @x -undump_int(x); if (x<>69069)or feof(fmt_file) then goto bad_fmt @y -undump_int(x); -if (x<>69069) then goto bad_fmt; -if not w_eof(fmt_file) then goto bad_fmt +if (x<>69069)or w_eof(fmt_file) then goto bad_fmt @z @x |