X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=scanalysis.cc;h=ff7854a87e8a31aec8e3ae105d403ad0b3559c66;hb=07b041c2dd6958bb3a52ffcba07e8e642130548c;hp=288aa498c72801f1326fa8c986bc3d77afbbca64;hpb=10dbb93b23ef00daaa60bccc5f25764cda298a61;p=model-checker.git

diff --git a/scanalysis.cc b/scanalysis.cc
index 288aa49..ff7854a 100644
--- a/scanalysis.cc
+++ b/scanalysis.cc
@@ -228,12 +228,6 @@ void SCAnalysis::computeCV(action_list_t *list) {
 				ClockVector *finishcv = cvmap->get(finish);
 				changed |= (finishcv == NULL) || merge(cv, act, finishcv);
 			}
-			if (act->is_thread_join()) {
-				Thread *joinedthr = act->get_thread_operand();
-				ModelAction *finish = model->get_last_action(joinedthr->get_id());
-				ClockVector *finishcv = cvmap->get(finish);
-				changed |= (finishcv == NULL) || cv->merge(finishcv);
-			}
 			if (act->is_read()) {
 				changed|=processRead(act, cv);
 			}