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 c91b472fe9297b0d22fde1625f6cc1b0c86d9343..e2e25a0c25e270a56fc4c82b91939fbfd4a62402 100644 (file)
--- a/Robust/src/Analysis/SSJava/Location.java
+++ b/Robust/src/Analysis/SSJava/Location.java
@@ -14,10 +14,10 @@ public class Location implements TypeExtension {
   String loc;
   Descriptor locDesc;
 
-  public Location(Descriptor enclosingDesc, Descriptor locDescriptor) {
+  public Location(Descriptor enclosingDesc, Descriptor locDesc) {
     this.d = enclosingDesc;
-    this.locDesc = locDescriptor;
-    this.loc = locDescriptor.getSymbol();
+    this.locDesc = locDesc;
+    this.loc = locDesc.getSymbol();
   }
 
   public Location(Descriptor d, String loc) {