remove unnecessary annotations to calculate evalution numbers.

[IRC.git] / Robust / src / Analysis / SSJava / SSJavaAnalysis.java

diff --git a/Robust/src/Analysis/SSJava/SSJavaAnalysis.java b/Robust/src/Analysis/SSJava/SSJavaAnalysis.java
index 61a90d09f568181f3f316473aee9077a10a74120..2d1f8ffc800af698eea65210c47079e7926dadc2 100644 (file)
--- 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));