From: yeom <yeom>
Date: Thu, 31 Mar 2011 17:46:41 +0000 (+0000)
Subject: changes for better debug messages
X-Git-Url: http://plrg.eecs.uci.edu/git/?a=commitdiff_plain;h=72725dcc4f841a2ef46a287f65c83aa0def1daa8;p=IRC.git

changes for better debug messages
---

diff --git a/Robust/src/IR/Flat/FlatSESEEnterNode.java b/Robust/src/IR/Flat/FlatSESEEnterNode.java
index b087785d..a4fc7753 100644
--- 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();
     }