Fixed compilation error in jDoom and jDoom64 after recent change to G_PlayerLeaveMap.
View differences
Fixed compilation error in jDoom and jDoom64 after recent change to G_PlayerLeaveMap.