From 459e96667ff420c997993b313f70be6144794d99 Mon Sep 17 00:00:00 2001
From: yeom <yeom>
Date: Tue, 17 Aug 2010 22:33:42 +0000
Subject: [PATCH] fix wrong condition. If one is coarse and others are fine
 item from same sese, just enqueue scc instead.

---
 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 c8b76c87..0e8c9cf1 100644
--- a/Robust/src/Analysis/OoOJava/ConflictGraph.java
+++ b/Robust/src/Analysis/OoOJava/ConflictGraph.java
@@ -619,7 +619,7 @@ public class ConflictGraph {
         // if there is at lease one SCC element, just enqueue SCC and
         // ignore others.
         refinedSet.add(SCCelement);
-      } else if (numCoarse == 1 && (numRead + numWrite == total)) {
+      } else if (numCoarse == 1 && (numRead + numWrite + numCoarse == total)) {
         // if one is a coarse, the othere are reads/write, enqueue SCC.
         WaitingElement we = new WaitingElement();
         we.setQueueID(queueID);
-- 
2.34.1