added garbage collector run to die function

This commit is contained in:
Václav Šmejkal 2023-02-09 18:19:28 +01:00
parent 233c4641c9
commit 19f60173c9
Signed by: ENGO150
GPG Key ID: 4A57E86482968843

View File

@ -44,5 +44,8 @@ int main(void)
void die(char *exit_msg)
{
fprintf(stderr, "%s\n", exit_msg);
why2_clean_memory(why2_get_default_memory_identifier());
exit(0);
}