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

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;