From 62086c4cdb2a43b1b66f55ec946a5f3748476b37 Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky>
Date: Tue, 22 Mar 2011 09:26:25 +0000
Subject: [PATCH] small bug

---
 Robust/src/Analysis/Pointer/AllocFactory.java | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/Robust/src/Analysis/Pointer/AllocFactory.java b/Robust/src/Analysis/Pointer/AllocFactory.java
index ed997a9e..cce24f33 100644
--- 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) {
-- 
2.34.1