summaryrefslogtreecommitdiff
path: root/Build/source/texk/web2c/tracingstacklevels.ch
diff options
context:
space:
mode:
Diffstat (limited to 'Build/source/texk/web2c/tracingstacklevels.ch')
-rw-r--r--Build/source/texk/web2c/tracingstacklevels.ch2
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