From 8e7d06831c75df291170b57a5573efead68eaad9 Mon Sep 17 00:00:00 2001
From: Brian Norris <banorris@uci.edu>
Date: Mon, 4 Feb 2013 17:12:11 -0800
Subject: [PATCH] cyclegraph: bugfix - only use concrete writes to eliminate
 threads

---
 cyclegraph.cc | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/cyclegraph.cc b/cyclegraph.cc
index d2a032e..23e5eca 100644
--- a/cyclegraph.cc
+++ b/cyclegraph.cc
@@ -307,9 +307,9 @@ bool CycleGraph::checkPromise(const ModelAction *fromact, Promise *promise) cons
 		CycleNode *node = queue.back();
 		queue.pop_back();
 
-		if (promise->eliminate_thread(node->getAction()->get_tid())) {
+		if (!node->is_promise() &&
+				promise->eliminate_thread(node->getAction()->get_tid()))
 			return true;
-		}
 
 		for (unsigned int i = 0; i < node->getNumEdges(); i++) {
 			CycleNode *next = node->getEdge(i);
-- 
2.34.1