X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=Robust%2Fsrc%2FAnalysis%2FSSJava%2FSSJavaAnalysis.java;h=2d1f8ffc800af698eea65210c47079e7926dadc2;hb=15e12c52c54314d14b860b578c46251adb3e8625;hp=61a90d09f568181f3f316473aee9077a10a74120;hpb=47cc527f574f19b71e92fceac668fb8c0655b13b;p=IRC.git

diff --git a/Robust/src/Analysis/SSJava/SSJavaAnalysis.java b/Robust/src/Analysis/SSJava/SSJavaAnalysis.java
index 61a90d09..2d1f8ffc 100644
--- a/Robust/src/Analysis/SSJava/SSJavaAnalysis.java
+++ b/Robust/src/Analysis/SSJava/SSJavaAnalysis.java
@@ -244,7 +244,7 @@ public class SSJavaAnalysis {
 
     SSJavaLattice<String> completeLattice = buildLattice.buildLattice(hierarchyGraph);
 
-    int numLocs = completeLattice.getKeySet().size() + 1;
+    int numLocs = completeLattice.getKeySet().size();
     LocationInference.numLocationsSInfer += numLocs;
     mapNumLocsMapManual.put(desc, new Integer(numLocs));