From c8301280c5bc3793f51e6f92cfe29541d1498cde Mon Sep 17 00:00:00 2001
From: Anders Jenbo <anders@jenbo.dk>
Date: Tue, 30 Apr 2019 20:01:34 +0200
Subject: [PATCH] Clean up mainmenu.cpp

---
 Source/mainmenu.cpp | 2 --
 1 file changed, 2 deletions(-)

diff --git a/Source/mainmenu.cpp b/Source/mainmenu.cpp
index 3ad64ec5b..17233a24f 100644
--- a/Source/mainmenu.cpp
+++ b/Source/mainmenu.cpp
@@ -118,14 +118,12 @@ void mainmenu_loop()
 
 	music_stop();
 }
-// 634980: using guessed type int gbActive;
 
 BOOL mainmenu_single_player()
 {
 	gbMaxPlayers = 1;
 	return mainmenu_init_menu(1);
 }
-// 679660: using guessed type char gbMaxPlayers;
 
 BOOL mainmenu_init_menu(int type)
 {