Bug fix

diff --git a/execution.cc b/execution.cc
index 504f7f52a6ee2c40c551f23d49c63d90bb6b485f..54e14c30fd03cb924ccc300cb3bfd84388c6a550 100644 (file)
--- a/execution.cc
+++ b/execution.cc
@@ -1783,8 +1783,8 @@ void ModelExecution::collectActions() {
                if (act->is_read()) {
                        if (islastact) {
                                act->set_read_from(NULL);
-                       }
-                       if (act->get_reads_from()->is_free()) {
+                               continue;
+                       } else if (act->get_reads_from()->is_free()) {
                                removeAction(act);
                                delete act;
                        } else {
@@ -1798,9 +1798,7 @@ void ModelExecution::collectActions() {
                                                act->set_last_fence_release(NULL);
                                }
                        }
-               }
-
-               if (islastact) {
+               } else if (islastact) {
                        continue;
                } else if (act->is_free()) {
                        removeAction(act);