start of new file

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

diff --git a/Robust/src/IR/Flat/FlatSetFieldNode.java b/Robust/src/IR/Flat/FlatSetFieldNode.java
index b1742479e233fea86bc8a05268ee6e25363d72ca..e34de29ba394449998f21a72b183ee4b2c8f1454 100644 (file)
--- a/Robust/src/IR/Flat/FlatSetFieldNode.java
+++ b/Robust/src/IR/Flat/FlatSetFieldNode.java
@@ -25,7 +25,7 @@ public class FlatSetFieldNode extends FlatNode {
     }
 
     public String toString() {
-       return dst.toString()+"."+field.getSymbol()+"="+src.toString();
+       return "FlatSetFieldNode_"+dst.toString()+"."+field.getSymbol()+"="+src.toString();
     }
 
     public int kind() {