From 494f2d0a9deb17b91d12e7e5ad5be1b974190901 Mon Sep 17 00:00:00 2001 From: Dennis Weinberger Date: Tue, 26 Mar 2019 19:55:34 +0000 Subject: [PATCH] Update PopulationGoal.java --- Projektgruppe_175/src/game/goals/PopulationGoal.java | 9 +++++++-- 1 file changed, 7 insertions(+), 2 deletions(-) diff --git a/Projektgruppe_175/src/game/goals/PopulationGoal.java b/Projektgruppe_175/src/game/goals/PopulationGoal.java index a75fe8e..245aaea 100644 --- a/Projektgruppe_175/src/game/goals/PopulationGoal.java +++ b/Projektgruppe_175/src/game/goals/PopulationGoal.java @@ -45,7 +45,7 @@ public class PopulationGoal extends Goal { return null; - // Ansonsten: Bevölkerung zählen + // Ansonsten: Bevölkerung zählen int numberOfHighPopulationCastles = 0; @@ -86,7 +86,12 @@ public class PopulationGoal extends Goal { isDraw = true; return null; } - return Collections.max(highPopulationPlayers, comp); + return Collections.max(highPopulationPlayers, comp); + } + + // Ansonsten... gewinnt noch kein spieler. + return null; + }