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