Made FlatNode child classes have more descriptive toString()

[IRC.git] / Robust / src / IR / Flat / FlatNew.java

diff --git a/Robust/src/IR/Flat/FlatNew.java b/Robust/src/IR/Flat/FlatNew.java
index f728e2ef9d0347d424c3015d094ff823bb1451ce..48737ecb3c918ad8ce28abaae4c54331dc388b76 100644 (file)
--- a/Robust/src/IR/Flat/FlatNew.java
+++ b/Robust/src/IR/Flat/FlatNew.java
@@ -26,10 +26,10 @@ public class FlatNew extends FlatNode {
     }
 
     public String toString() {
-       if (size==null)
-           return dst.toString()+"= NEW "+type.toString();
-       else
-           return dst.toString()+"= NEW "+type.toString()+"["+size.toString()+"]";
+       String str = "FlatNew_"+dst.toString()+"= NEW "+type.toString();
+       if (size!=null)
+           str += "["+size.toString()+"]";
+       return str;
     }
 
     public int kind() {