diff options
Diffstat (limited to 'Build/source/texk/web2c/xetexdir/xetex.ch')
-rw-r--r-- | Build/source/texk/web2c/xetexdir/xetex.ch | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/Build/source/texk/web2c/xetexdir/xetex.ch b/Build/source/texk/web2c/xetexdir/xetex.ch index 0eb481a91a1..2f24abd3eac 100644 --- a/Build/source/texk/web2c/xetexdir/xetex.ch +++ b/Build/source/texk/web2c/xetexdir/xetex.ch @@ -168,9 +168,7 @@ has been detected. It has five possible values: |spotless|, |warning_issued|, @x [17.222] l.4523 - frozen_special, for source specials. @d frozen_null_font=frozen_control_sequence+11 @y -@d frozen_primitive=frozen_control_sequence+11 - {permanent `\.{\\primitive}'} -@d frozen_null_font=frozen_control_sequence+12 +@d frozen_null_font=frozen_control_sequence+12+prim_size @z @x [17.230] l.4731 |