diff options
Diffstat (limited to 'Build/source/texk/web2c/xetexdir/xetex.web')
-rw-r--r-- | Build/source/texk/web2c/xetexdir/xetex.web | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Build/source/texk/web2c/xetexdir/xetex.web b/Build/source/texk/web2c/xetexdir/xetex.web index 5eec78ca7a2..bf826dc52a2 100644 --- a/Build/source/texk/web2c/xetexdir/xetex.web +++ b/Build/source/texk/web2c/xetexdir/xetex.web @@ -11094,6 +11094,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; |