From 5d8e37cd04f1f06aa34b016ccc133fa3ccf240bb Mon Sep 17 00:00:00 2001
From: Mateusz Ujma <mateusz.ujma@cs.ox.ac.uk>
Date: Mon, 5 Aug 2013 13:55:50 +0000
Subject: [PATCH] Updated hashCode with Arrays

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@7226 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/parser/State.java | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/prism/src/parser/State.java b/prism/src/parser/State.java
index 4751f2da..52462c63 100644
--- a/prism/src/parser/State.java
+++ b/prism/src/parser/State.java
@@ -137,8 +137,7 @@ public class State implements Comparable<State>
 	@Override
 	public int hashCode()
 	{
-		// Simple hash code
-		return varValues.length > 0 ? varValues[0].hashCode() : 0;
+		return Arrays.hashCode(varValues);
 	}
 
 	@Override