1
0
mirror of https://github.com/rkd77/elinks.git synced 2024-12-04 14:46:47 -05:00

[spidermonkey] delete

This commit is contained in:
Witold Filipczyk 2023-01-20 17:03:44 +01:00
parent cf0a41a308
commit 1b3ac6029b

View File

@ -314,6 +314,8 @@ spidermonkey_put_interpreter(struct ecmascript_interpreter *interpreter)
assert(interpreter);
if (!js_module_init_ok) return;
delete interpreter->ac;
interpreter->backend_data = NULL;
interpreter->ac = nullptr;
}