diff options
Diffstat (limited to 'Build/source/texk/web2c/pdftexdir/pdftex.web')
-rw-r--r-- | Build/source/texk/web2c/pdftexdir/pdftex.web | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Build/source/texk/web2c/pdftexdir/pdftex.web b/Build/source/texk/web2c/pdftexdir/pdftex.web index 7cfd17ed1a6..721aa694ba2 100644 --- a/Build/source/texk/web2c/pdftexdir/pdftex.web +++ b/Build/source/texk/web2c/pdftexdir/pdftex.web @@ -10955,6 +10955,7 @@ expanded_code: warning_index := save_warning_index; scanner_status := save_scanner_status; ins_list(link(def_ref)); + free_avail(def_ref); def_ref := save_def_ref; restore_cur_string; return; |