From 19b381b560ba76aae92f469c601257297795504e Mon Sep 17 00:00:00 2001 From: Chris Beck Date: Thu, 29 May 2014 23:45:17 -0400 Subject: [PATCH] fix gcc compilation --- src/playsingle_controller.cpp | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/playsingle_controller.cpp b/src/playsingle_controller.cpp index ed7f6a925c3..0739e09227a 100644 --- a/src/playsingle_controller.cpp +++ b/src/playsingle_controller.cpp @@ -700,7 +700,7 @@ void playsingle_controller::play_side(bool save) play_human_turn(); } } catch(end_turn_exception& end_turn) { - if (end_turn.redo == player_number_) { + if (int(end_turn.redo) == player_number_) { player_type_changed_ = true; // If new controller is not human, // reset gui to prev human one @@ -739,7 +739,7 @@ void playsingle_controller::play_side(bool save) } catch(end_turn_exception& end_turn) { LOG_NG << "Escaped from idle state with exception!" << std::endl; - if (end_turn.redo == player_number_) { + if (int(end_turn.redo) == player_number_) { player_type_changed_ = true; // If new controller is not human, // reset gui to prev human one