X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=execution.cc;fp=execution.cc;h=c8c4b89ac2910abd7024b531ea1bed5e97187faa;hb=133e215362162a6146b51fe9ac4eec749cc3c6c5;hp=a74147be4bbe7e068a9ddd05a58ff459ccb1a7c8;hpb=3a4e118d45bf83a3b4c3a0a73d1071fa8fe5476d;p=model-checker.git

diff --git a/execution.cc b/execution.cc
index a74147b..c8c4b89 100644
--- a/execution.cc
+++ b/execution.cc
@@ -2816,7 +2816,7 @@ void ModelExecution::fixup_release_sequences()
 {
 	while (!pending_rel_seqs.empty() &&
 			is_feasible_prefix_ignore_relseq() &&
-			!unrealizedraces.empty()) {
+			haveUnrealizedRaces()) {
 		model_print("*** WARNING: release sequence fixup action "
 				"(%zu pending release seuqence(s)) ***\n",
 				pending_rel_seqs.size());