From d6bc59f0c9340c14f90c676454284211a2593362 Mon Sep 17 00:00:00 2001
From: Sascha Wunderlich <sascha.wunderlich@tu-dresden.de>
Date: Mon, 14 Jan 2019 16:17:02 +0100
Subject: [PATCH] FIX...

---
 prism/src/explicit/ProductState.java | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/prism/src/explicit/ProductState.java b/prism/src/explicit/ProductState.java
index 1b35f764..fa0b8091 100644
--- a/prism/src/explicit/ProductState.java
+++ b/prism/src/explicit/ProductState.java
@@ -68,9 +68,9 @@ public class ProductState implements Comparable<ProductState>
 	@Override
 	public int compareTo(ProductState other)
 	{
-		int rv = Integer.compare(state_1, state_2);
+		int rv = Integer.compare(state_1, other.state_1);
 		if (rv == 0) {
-			return Integer.compare(state_1, state_2);
+			return Integer.compare(state_2, other.state_2);
 		} else {
 			return rv;
 		}