From 72725dcc4f841a2ef46a287f65c83aa0def1daa8 Mon Sep 17 00:00:00 2001
From: yeom <yeom>
Date: Thu, 31 Mar 2011 17:46:41 +0000
Subject: [PATCH] changes for better debug messages

---
 Robust/src/IR/Flat/FlatSESEEnterNode.java | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

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();
     }     
-- 
2.34.1