X-Git-Url: http://plrg.eecs.uci.edu/git/?p=model-checker.git;a=blobdiff_plain;f=cyclegraph.cc;h=44f5a28bc15b69cc3289a4906b298341845ae324;hp=7fadcbda00d8b6f02f9cfe81d5cd3f423e9a3a2b;hb=f1ecfba94c7ceb77c071ffa906cd6d51f66f8ee3;hpb=5236e7a4403ccc6d28b3fdc746c5710d6190310a

diff --git a/cyclegraph.cc b/cyclegraph.cc
index 7fadcbd..44f5a28 100644
--- a/cyclegraph.cc
+++ b/cyclegraph.cc
@@ -443,6 +443,8 @@ bool CycleGraph::checkPromise(const ModelAction *fromact, Promise *promise) cons
 		CycleNode *node = queue.back();
 		queue.pop_back();
 
+		if (node->getPromise() == promise)
+			return true;
 		if (!node->is_promise() &&
 				promise->eliminate_thread(node->getAction()->get_tid()))
 			return true;