X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=model.cc;h=47c6cdb92d442f0b0f460e353e9d25c93cfb6dc7;hb=d6def735e3fb70267ca802f3b1909e7ace6e4507;hp=9d2dbb61ef577c43421f6ab071fe5fc7c9323004;hpb=939c3e18d1214e60cfc680244f8ab3e9bd5404af;p=model-checker.git

diff --git a/model.cc b/model.cc
index 9d2dbb6..47c6cdb 100644
--- a/model.cc
+++ b/model.cc
@@ -1280,8 +1280,10 @@ bool ModelChecker::resolve_release_sequences(void *location, work_queue_t *work_
 		complete = release_seq_head(rf, &release_heads);
 		for (unsigned int i = 0; i < release_heads.size(); i++) {
 			if (!act->has_synchronized_with(release_heads[i])) {
-				updated = true;
-				act->synchronize_with(release_heads[i]);
+				if (act->synchronize_with(release_heads[i]))
+					updated = true;
+				else
+					set_bad_synchronization();
 			}
 		}