diff --git a/com.ibm.wala.core/src/com/ibm/wala/ipa/callgraph/propagation/ConstantKey.java b/com.ibm.wala.core/src/com/ibm/wala/ipa/callgraph/propagation/ConstantKey.java index 0b966ace0..4f91230e9 100644 --- a/com.ibm.wala.core/src/com/ibm/wala/ipa/callgraph/propagation/ConstantKey.java +++ b/com.ibm.wala.core/src/com/ibm/wala/ipa/callgraph/propagation/ConstantKey.java @@ -37,7 +37,7 @@ public final class ConstantKey implements InstanceKey { public boolean equals(Object obj) { if (obj instanceof ConstantKey) { ConstantKey other = (ConstantKey) obj; - return value == null ? other.value == null : value.equals(other.value); + return valueClass.equals(other.valueClass) ? (value == null ? other.value == null : value.equals(other.value)) : false; } else { return false; }