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

diff --git a/model.cc b/model.cc
index 0964ae7..ac88933 100644
--- a/model.cc
+++ b/model.cc
@@ -2459,7 +2459,7 @@ void ModelChecker::mo_check_promises(thread_id_t tid, const ModelAction *write,
 		}
 
 		//Don't do any lookups twice for the same thread
-		if (promise->has_sync_thread(tid))
+		if (promise->thread_is_eliminated(tid))
 			continue;
 
 		if (promise->get_write() && mo_graph->checkReachable(promise->get_write(), write)) {