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.web4
1 files changed, 2 insertions, 2 deletions
diff --git a/Build/source/texk/web2c/pdftexdir/pdftex.web b/Build/source/texk/web2c/pdftexdir/pdftex.web
index 1b0e09c7903..0e06342a728 100644
--- a/Build/source/texk/web2c/pdftexdir/pdftex.web
+++ b/Build/source/texk/web2c/pdftexdir/pdftex.web
@@ -19929,11 +19929,11 @@ begin
end;
print(" has been referenced but does not exist");
print_ln; print_ln;
- {pdf_begin_obj(k, 1);
+ @{pdf_begin_obj(k, 1);
pdf_out("[");
pdf_print_int(head_tab[obj_type_page]);
pdf_print_ln(" 0 R /Fit]");
- pdf_end_obj;}
+ pdf_end_obj;@}
end;
@ @<Check for non-existing structure destinations@>=