From 19cb6fbd0be3eed029a9b4ca706885ee23d7e6e0 Mon Sep 17 00:00:00 2001
From: Eric Bodden <eric@bodden.de>
Date: Thu, 18 Dec 2014 09:57:03 +0100
Subject: [PATCH] fix to Kill function: should compare using equals, not ==

---
 src/heros/flowfunc/Kill.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/heros/flowfunc/Kill.java b/src/heros/flowfunc/Kill.java
index d3df996..6a1bb19 100644
--- a/src/heros/flowfunc/Kill.java
+++ b/src/heros/flowfunc/Kill.java
@@ -33,7 +33,7 @@ public Kill(D killValue){
 	} 
 
 	public Set<D> computeTargets(D source) {
-		if(source==killValue) {
+		if(source.equals(killValue)) {
 			return emptySet();
 		} else
 			return singleton(source);