diff options
Diffstat (limited to 'Build/source/texk/web2c/pdftexdir/pdftex.ch')
-rw-r--r-- | Build/source/texk/web2c/pdftexdir/pdftex.ch | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Build/source/texk/web2c/pdftexdir/pdftex.ch b/Build/source/texk/web2c/pdftexdir/pdftex.ch index d96bd438c77..f12618ffdbb 100644 --- a/Build/source/texk/web2c/pdftexdir/pdftex.ch +++ b/Build/source/texk/web2c/pdftexdir/pdftex.ch @@ -41,7 +41,7 @@ @d frozen_null_font=frozen_control_sequence+11 {permanent `\.{\\nullfont}'} @y -@d frozen_null_font=frozen_control_sequence+12 +@d frozen_null_font=frozen_control_sequence+12+prim_size {permanent `\.{\\nullfont}'} @z |