diff options
Diffstat (limited to 'Build/source/texk/web2c/tex.ch')
-rw-r--r-- | Build/source/texk/web2c/tex.ch | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Build/source/texk/web2c/tex.ch b/Build/source/texk/web2c/tex.ch index 665e751bf51..7637ce1ad55 100644 --- a/Build/source/texk/web2c/tex.ch +++ b/Build/source/texk/web2c/tex.ch @@ -4532,7 +4532,7 @@ begin else begin print_nl (""); print (full_source_filename_stack[level]); print (":"); if level=in_open then print_int (line) - else print_int (line_stack[index+1-(in_open-level)]); + else print_int (line_stack[level+1]); print (": "); end; end; |