changes.

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

diff --git a/Robust/src/Analysis/SSJava/Location.java b/Robust/src/Analysis/SSJava/Location.java
index 7fe9331a1dcd81824e391afe5ce09f6d74b85970..1c90d577e1ce714ef9f82b4a9dfb7341cad5bfd3 100644 (file)
--- a/Robust/src/Analysis/SSJava/Location.java
+++ b/Robust/src/Analysis/SSJava/Location.java
@@ -30,6 +30,10 @@ public class Location implements TypeExtension {
     }
   }
 
+  public void setLocIdentifier(String s) {
+    loc = s;
+  }
+
   public void setLocDescriptor(Descriptor d) {
     locDesc = d;
   }