From: Brian Norris <banorris@uci.edu>
Date: Tue, 16 Apr 2013 00:26:24 +0000 (-0700)
Subject: action: we don't need special cases for lock/join anymore
X-Git-Tag: oopsla2013~75
X-Git-Url: http://demsky.eecs.uci.edu/git/?p=model-checker.git;a=commitdiff_plain;h=f1ba5c8c393c310e2210cbfb74020bec67fa6934

action: we don't need special cases for lock/join anymore
---

diff --git a/action.cc b/action.cc
index bd98f5c..76f18dd 100644
--- a/action.cc
+++ b/action.cc
@@ -499,7 +499,7 @@ void ModelAction::set_read_from_promise(Promise *promise)
  */
 bool ModelAction::synchronize_with(const ModelAction *act)
 {
-	if (*this < *act && type != THREAD_JOIN && type != ATOMIC_LOCK)
+	if (*this < *act)
 		return false;
 	model->check_promises(act->get_tid(), cv, act->cv);
 	cv->merge(act->cv);