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.web1
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;