X-Git-Url: http://plrg.eecs.uci.edu/git/?p=c11tester.git;a=blobdiff_plain;f=execution.cc;h=05591751b14a8db61ba0a7e3ff6619c311260e1d;hp=b0a12e584c28e6a6ab8c6f3596190eddbb1d08d0;hb=c111168a06e136dd46714c4297497ada8b670723;hpb=06e698d4ca55451771b8cfcd71f03088447464f7

diff --git a/execution.cc b/execution.cc
index b0a12e58..05591751 100644
--- a/execution.cc
+++ b/execution.cc
@@ -1176,7 +1176,7 @@ sllnode<ModelAction *>* insertIntoActionList(action_list_t *list, ModelAction *a
 				return list->insertAfter(rit, act);
 			}
 		}
-		return NULL;
+		return list->add_front(act);
 	}
 }
 
@@ -1185,7 +1185,7 @@ sllnode<ModelAction *>* insertIntoActionListAndSetCV(action_list_t *list, ModelA
 	modelclock_t next_seq = act->get_seq_number();
 	if (rit == NULL) {
 		act->create_cv(NULL);
-		return NULL;
+		return list->add_back(act);
 	} else if (rit->getVal()->get_seq_number() <= next_seq) {
 		act->create_cv(rit->getVal());
 		return list->add_back(act);
@@ -1196,7 +1196,7 @@ sllnode<ModelAction *>* insertIntoActionListAndSetCV(action_list_t *list, ModelA
 				return list->insertAfter(rit, act);
 			}
 		}
-		return NULL;
+		return list->add_front(act);
 	}
 }