small bug

diff --git a/Robust/src/Analysis/Pointer/AllocFactory.java b/Robust/src/Analysis/Pointer/AllocFactory.java
index ed997a9eb346e21eec2494e8adbf387166671227..cce24f334d8d1590ab20c6195d0d1b40fb94fa7c 100644 (file)
--- a/Robust/src/Analysis/Pointer/AllocFactory.java
+++ b/Robust/src/Analysis/Pointer/AllocFactory.java
@@ -127,7 +127,9 @@ public class AllocFactory {
     TypeDescriptor stringtd=new TypeDescriptor(stringcd);
     TypeDescriptor stringarraytd=stringtd.makeArray(state);
     StringArray=new AllocNode(0, new FlatNew(stringarraytd, null, false), false);
+    StringArray.as=getAllocSite(StringArray);
     Strings=new AllocNode(1, new FlatNew(stringtd, null, false), true);
+    Strings.as=getAllocSite(Strings);
   }
 
   public int getSiteNumber(FlatNew node) {