diff options
Diffstat (limited to 'Build/source/texk/web2c/luatexdir/tex/errors.w')
| -rw-r--r-- | Build/source/texk/web2c/luatexdir/tex/errors.w | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Build/source/texk/web2c/luatexdir/tex/errors.w b/Build/source/texk/web2c/luatexdir/tex/errors.w index 4cad07c6f28..1af16ec58ef 100644 --- a/Build/source/texk/web2c/luatexdir/tex/errors.w +++ b/Build/source/texk/web2c/luatexdir/tex/errors.w @@ -219,6 +219,7 @@ void do_final_end(void) { update_terminal(); ready_already = 0; + lua_close(Luas); /* new per 0.99 */ if ((history != spotless) && (history != warning_issued)) uexit(1); else |