From c478d1add2d9f03e63a3be6c083443fc9696f5e1 Mon Sep 17 00:00:00 2001
From: Christoph Oelckers <coelckers@users.noreply.github.com>
Date: Sat, 10 Oct 2020 15:16:28 +0200
Subject: [PATCH] - properly uninit the menus.

---
 source/core/gamecontrol.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/source/core/gamecontrol.cpp b/source/core/gamecontrol.cpp
index 5db175eb6..2f20a54e8 100644
--- a/source/core/gamecontrol.cpp
+++ b/source/core/gamecontrol.cpp
@@ -535,7 +535,7 @@ int GameMain()
 		r = -1;
 	}
 	DeleteScreenJob();
-	M_ClearMenus();
+	DeinitMenus();
 	if (gi)
 	{
 		gi->FreeGameData();	// Must be done before taking down any subsystems.