little twiddles for kmeans investigation

[IRC.git] / Robust / src / Analysis / Disjoint / DisjointAnalysis.java

diff --git a/Robust/src/Analysis/Disjoint/DisjointAnalysis.java b/Robust/src/Analysis/Disjoint/DisjointAnalysis.java
index f5f1ead57174f9255332ddeea30cc6ad16320faa..885730212149793a4d6abce9b28ff039291735b1 100644 (file)
--- a/Robust/src/Analysis/Disjoint/DisjointAnalysis.java
+++ b/Robust/src/Analysis/Disjoint/DisjointAnalysis.java
@@ -2107,7 +2107,7 @@ public class DisjointAnalysis implements HeapAnalysis {
                     true,     // selectively hide intermediate temp vars
                     true,     // prune unreachable heap regions
                     false,    // hide reachability altogether
-                    true,     // hide subset reachability states
+                    false,    // hide subset reachability states
                     true,     // hide predicates
                     true);    // hide edge taints
     }