Make sure device memory is freed

This commit is contained in:
Bad Diode 2023-10-17 17:26:46 +02:00 committed by neauoire
parent e6cf770d2e
commit b2e67c0319
1 changed files with 1 additions and 0 deletions

View File

@ -510,6 +510,7 @@ static int
emu_end(Uxn *u)
{
free(u->ram);
free(u->dev);
#ifdef _WIN32
#pragma GCC diagnostic ignored "-Wint-to-pointer-cast"
TerminateThread((HANDLE)SDL_GetThreadID(stdin_thread), 0);