X-Git-Url: http://plrg.eecs.uci.edu/git/?p=model-checker.git;a=blobdiff_plain;f=cyclegraph.cc;h=def51f9671e346251a4f108abe1c78c8d09a8bfe;hp=7e5e95602408b47f5d4ff5b746e64db88287366f;hb=6014243b7130f34b7ffd1098da225b0b8de5c328;hpb=e79a7cd8e9c85d37a5d5c2a81ca14b1017b1b305;ds=sidebyside

diff --git a/cyclegraph.cc b/cyclegraph.cc
index 7e5e956..def51f9 100644
--- a/cyclegraph.cc
+++ b/cyclegraph.cc
@@ -456,9 +456,8 @@ bool CycleGraph::checkPromise(const ModelAction *fromact, Promise *promise) cons
 
 		if (node->getPromise() == promise)
 			return true;
-		if (!node->is_promise() &&
-				promise->eliminate_thread(node->getAction()->get_tid()))
-			return true;
+		if (!node->is_promise())
+			promise->eliminate_thread(node->getAction()->get_tid());
 
 		for (unsigned int i = 0; i < node->getNumEdges(); i++) {
 			CycleNode *next = node->getEdge(i);