changes to get the tiny class library for ssjava

[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 6206b147788cf4ec443d96023807b4fe8dc87cfe..86e10841618d777524d64d4da82894409c07d19d 100644 (file)
--- a/Robust/src/Analysis/SSJava/SSJavaAnalysis.java
+++ b/Robust/src/Analysis/SSJava/SSJavaAnalysis.java
@@ -8,6 +8,7 @@ import IR.Tree.TreeNode;
 
 public class SSJavaAnalysis {
 
+  public static final String LOC="LOC";
   public static final String DELTA = "delta";
   State state;
   FlowDownCheck flowDownChecker;