From: jjenista <jjenista>
Date: Tue, 21 Sep 2010 21:28:39 +0000 (+0000)
Subject: help user by showing human-readable task identifier
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=758c90f76864cc98468d88c8f198bcd5e4d80894;p=IRC.git

help user by showing human-readable task identifier
---

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