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