From 23eba5afeaafc9ccd6be8cd77e42276baa99a6e5 Mon Sep 17 00:00:00 2001
From: loonycyborg <loonycyborg@gmail.com>
Date: Fri, 8 Jan 2021 21:41:13 +0300
Subject: [PATCH] Clean up declaration

---
 src/server/wesnothd/server.hpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/server/wesnothd/server.hpp b/src/server/wesnothd/server.hpp
index 04f1ded8a2cb..7cd522a01a22 100644
--- a/src/server/wesnothd/server.hpp
+++ b/src/server/wesnothd/server.hpp
@@ -194,7 +194,7 @@ class server : public server_base
 
 	void delete_game(int, const std::string& reason="");
 
-	void update_game_in_lobby(const game& g, utils::optional< wesnothd::player_iterator > exclude = {});
+	void update_game_in_lobby(const game& g, utils::optional<player_iterator> exclude = {});
 
 	void start_new_server();