X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=model.cc;h=b10a841a3fdece2304fe405dfcf02de1c6856400;hb=6bbd9b9dd928e62df9dffbf9027124112eec0576;hp=9ebc85344cd8c4343349a4d7df21e9d034915edc;hpb=e0f80c403452e544452f64687b3c489a869e4f77;p=model-checker.git

diff --git a/model.cc b/model.cc
index 9ebc853..b10a841 100644
--- a/model.cc
+++ b/model.cc
@@ -1324,8 +1324,9 @@ bool ModelChecker::initialize_curr_action(ModelAction **curr)
  */
 bool ModelChecker::read_from(ModelAction *act, const ModelAction *rf)
 {
+	ASSERT(rf);
 	act->set_read_from(rf);
-	if (rf != NULL && act->is_acquire()) {
+	if (act->is_acquire()) {
 		rel_heads_list_t release_heads;
 		get_release_seq_heads(act, act, &release_heads);
 		int num_heads = release_heads.size();