summaryrefslogtreecommitdiff
path: root/Build/source/texk/web2c/pdftexdir/pdftex.web
diff options
context:
space:
mode:
Diffstat (limited to 'Build/source/texk/web2c/pdftexdir/pdftex.web')
-rw-r--r--Build/source/texk/web2c/pdftexdir/pdftex.web2
1 files changed, 1 insertions, 1 deletions
diff --git a/Build/source/texk/web2c/pdftexdir/pdftex.web b/Build/source/texk/web2c/pdftexdir/pdftex.web
index d0742a64dca..99ccc6511f5 100644
--- a/Build/source/texk/web2c/pdftexdir/pdftex.web
+++ b/Build/source/texk/web2c/pdftexdir/pdftex.web
@@ -24389,7 +24389,7 @@ distinguishable by the condition |cur_p=null|.
(replace_count(#) = 0)) {an empty |disc_node|}
or ((type(#) = math_node) and (width(#) = 0))
or ((type(#) = kern_node) and
- ((width(#) = 0) or (subtype(#) = normal)))
+ ((width(#) = 0) or (subtype(#) = normal) or (subtype(#) = auto_kern)))
or ((type(#) = glue_node) and (glue_ptr(#) = zero_glue))
or ((type(#) = hlist_node) and (width(#) = 0) and (height(#) = 0) and
(depth(#) = 0) and (list_ptr(#) = null))