fix to Kill function: should compare using equals, not ==

soot-oss · Dec 18, 2014 · 19cb6fb · 19cb6fb
1 parent c3a0ebf
commit 19cb6fb
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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);