X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=model.cc;h=326358ea79c8b80ed0a356854cef43288c0ec304;hb=cf4cc8a444d3c85367b9aa15b91b2829220e2edf;hp=788a6706b26074b91db6de091f12ef532c54bd27;hpb=7f6f38735411f44357208a952278a419454b52b2;p=model-checker.git

diff --git a/model.cc b/model.cc
index 788a670..326358e 100644
--- a/model.cc
+++ b/model.cc
@@ -1246,7 +1246,7 @@ bool ModelChecker::release_seq_head(const ModelAction *rf, rel_heads_list_t *rel
 
 		ModelAction *last = get_last_action(int_to_id(i));
 		if (last && (rf->happens_before(last) ||
-				last->get_type() == THREAD_FINISH))
+				get_thread(int_to_id(i))->is_complete()))
 			future_ordered = true;
 
 		for (rit = list->rbegin(); rit != list->rend(); rit++) {