diff options
Diffstat (limited to 'Build/source/texk/web2c/pmpostdir/pmp.ch')
-rw-r--r-- | Build/source/texk/web2c/pmpostdir/pmp.ch | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Build/source/texk/web2c/pmpostdir/pmp.ch b/Build/source/texk/web2c/pmpostdir/pmp.ch index e54fbf84fb5..cf7e30a7555 100644 --- a/Build/source/texk/web2c/pmpostdir/pmp.ch +++ b/Build/source/texk/web2c/pmpostdir/pmp.ch @@ -348,9 +348,9 @@ static int mp_lookup_ctype (MP mp,font_number f, integer c) while ( l<u ) { r=(l+u)/2; ch=ctype_char(f)(r); - if ( (ch==c) ) { + if ( ch==c ) { return ctype_type(f)(r);}; - if ( (ch<c) ) l=r+1; + if ( ch<c ) l=r+1; else u=r-1; }; return 0; |