more bugs

diff --git a/execution.cc b/execution.cc
index b0a12e584c28e6a6ab8c6f3596190eddbb1d08d0..05591751b14a8db61ba0a7e3ff6619c311260e1d 100644 (file)
--- 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 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);
        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);
        } 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 list->insertAfter(rit, act);
                        }
                }

-               return NULL;
+               return list->add_front(act);

        }
 }
 
        }
 }