changes for better debug messages

diff --git a/Robust/src/IR/Flat/FlatSESEEnterNode.java b/Robust/src/IR/Flat/FlatSESEEnterNode.java
index b087785dd00670fd219136d9c719594ada47c1d0..a4fc775326e31485c8da7eb0ddc0b08d8f2c6b1a 100644 (file)
--- a/Robust/src/IR/Flat/FlatSESEEnterNode.java
+++ b/Robust/src/IR/Flat/FlatSESEEnterNode.java
@@ -168,7 +168,10 @@ public class FlatSESEEnterNode extends FlatNode {
     return id;
   }
 
-  public String getPrettyIdentifier() {
+  public String getPrettyIdentifier() {    
+    if(isCallerProxySESE){
+      return "proxy";
+    }    
     if( treeNode != null && treeNode.getID() != null ) {
       return treeNode.getID();
     }