diff options
Diffstat (limited to 'Build/source/texk/web2c/tracingstacklevels.ch')
-rw-r--r-- | Build/source/texk/web2c/tracingstacklevels.ch | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Build/source/texk/web2c/tracingstacklevels.ch b/Build/source/texk/web2c/tracingstacklevels.ch index bfc22d76bcd..f5d04a5624c 100644 --- a/Build/source/texk/web2c/tracingstacklevels.ch +++ b/Build/source/texk/web2c/tracingstacklevels.ch @@ -23,7 +23,7 @@ @x @d web2c_int_pars=web2c_int_base+3 {total number of web2c's integer parameters} @y -@d tracing_stack_levels_code=web2c_int_base+3 {tracing input_stack level if tracingmacros positive} +@d tracing_stack_levels_code=web2c_int_base+3 {tracing |input_stack| level if |tracingmacros| positive} @d web2c_int_pars=web2c_int_base+4 {total number of web2c's integer parameters} @z |