From d44e1c7eccadb07c2f9050867fc67f4f68696cc5 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Wed, 29 Jul 2015 11:22:29 +0000
Subject: [PATCH] Bug fix in Coalition copy constructor.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@10455 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/parser/ast/Coalition.java | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/prism/src/parser/ast/Coalition.java b/prism/src/parser/ast/Coalition.java
index 53d263ad..9fb13ab5 100644
--- a/prism/src/parser/ast/Coalition.java
+++ b/prism/src/parser/ast/Coalition.java
@@ -63,8 +63,9 @@ public class Coalition
 	public Coalition(Coalition c)
 	{
 		// Copy all info (though, strictly speaking, "players" is irrelevant if allPlayers==true
+		// (note that we access c.players directly since getPlayers() can return null)
 		allPlayers = c.isAllPlayers();
-		players = new ArrayList<String>(c.getPlayers());
+		players = new ArrayList<String>(c.players);
 	}
 
 	// Set methods