From 758c90f76864cc98468d88c8f198bcd5e4d80894 Mon Sep 17 00:00:00 2001
From: jjenista <jjenista>
Date: Tue, 21 Sep 2010 21:28:39 +0000
Subject: [PATCH] help user by showing human-readable task identifier

---
 Robust/src/Analysis/OoOJava/ConflictGraph.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Robust/src/Analysis/OoOJava/ConflictGraph.java b/Robust/src/Analysis/OoOJava/ConflictGraph.java
index 67e2691a..fc97c140 100644
--- a/Robust/src/Analysis/OoOJava/ConflictGraph.java
+++ b/Robust/src/Analysis/OoOJava/ConflictGraph.java
@@ -109,7 +109,7 @@ public class ConflictGraph {
     TempDescriptor invar = t.getVar();
     AllocSite as = t.getAllocSite();
 
-    String id = invar + "_sese" + sese.getIdentifier();
+    String id = invar + "_sese" + sese.getPrettyIdentifier();
     ConflictNode node = id2cn.get(id);
     if (node == null) {
       node = new ConflictNode(id, ConflictNode.INVAR, t.getVar(), t.getSESE());
-- 
2.34.1