From 575977afd3dbeebfbb10ca521acdf0bba0d16346 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Fri, 29 Aug 2014 22:14:48 +0000
Subject: [PATCH] Small jltl2dstar fix from Joachim Klein.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@9155 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/jltl2dstar/SafraTreeTemplate.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/prism/src/jltl2dstar/SafraTreeTemplate.java b/prism/src/jltl2dstar/SafraTreeTemplate.java
index 8fde3f21..a488f8ec 100644
--- a/prism/src/jltl2dstar/SafraTreeTemplate.java
+++ b/prism/src/jltl2dstar/SafraTreeTemplate.java
@@ -115,7 +115,7 @@ public class SafraTreeTemplate implements NBA2DAResult<SafraTree> {
 			}
 		}
 
-		assert(this_node.getLabeling() == other_node.getLabeling());
+		assert(this_node.getLabeling().equals(other_node.getLabeling()));
 		assert(this_node.hasFinalFlag() == other_node.hasFinalFlag());
 
 		// this node looks good, now the children