Added feature for nullfying dead variables, which didn't change sharing for benchmark...

[IRC.git] / Robust / src / Analysis / MLP / SVKey.java

diff --git a/Robust/src/Analysis/MLP/SVKey.java b/Robust/src/Analysis/MLP/SVKey.java
index afc53d099a562a2e5b59493939c4b6db9816c495..b344e99ec09af10ff5db5b43dc1854ef2519f2e4 100644 (file)
--- a/Robust/src/Analysis/MLP/SVKey.java
+++ b/Robust/src/Analysis/MLP/SVKey.java
@@ -35,8 +35,8 @@ public class SVKey {
 
     SVKey k = (SVKey) o;
 
-    return var.equals( vst.var  ) &&
-          sese.equals( vst.sese );
+    return var.equals( k.var  ) &&
+          sese.equals( k.sese );
   }
 
   public int hashCode() {
@@ -45,6 +45,6 @@ public class SVKey {
 
 
   public String toString() {
-    return "key["+sese+", "+var+"]";
+    return "key["+sese.getPrettyIdentifier()+", "+var+"]";
   }
 }