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 81fb697c821..bfc22d76bcd 100644 --- a/Build/source/texk/web2c/tracingstacklevels.ch +++ b/Build/source/texk/web2c/tracingstacklevels.ch @@ -111,7 +111,7 @@ begin if v < tracing_stack_levels then while v > 0 do begin print_char("."); decr(v); end else print_char("~"); - slow_print("INPUT "); slow_print(cur_name); print_ln; + slow_print("INPUT "); slow_print(cur_name); slow_print(cur_ext); print_ln; end_diagnostic(false); end; @z |