X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=model.cc;h=0964ae7ed2be03721cca662598200382151b2230;hb=ccb7650d28bc49534bfb75de43447900cd048461;hp=e46d36d76c3d3ede34cca70c32d562be3a327b0e;hpb=014ccdb9492a8e6f36dadb3a7e0a45e5f3d39bee;p=model-checker.git

diff --git a/model.cc b/model.cc
index e46d36d..0964ae7 100644
--- a/model.cc
+++ b/model.cc
@@ -2388,10 +2388,11 @@ void ModelChecker::check_promises(thread_id_t tid, ClockVector *old_cv, ClockVec
 	}
 }
 
-void ModelChecker::check_promises_thread_disabled() {
+void ModelChecker::check_promises_thread_disabled()
+{
 	for (unsigned int i = 0; i < promises->size(); i++) {
 		Promise *promise = (*promises)[i];
-		if (promise->check_promise()) {
+		if (promise->has_failed()) {
 			priv->failed_promise = true;
 			return;
 		}