allow ModelHistory to process non-atomic actions when they are created

diff --git a/execution.cc b/execution.cc
index d477a04abcfa759478fa42493fb73175d9b18471..c6962bc07aeeea50c693c02c78a3aaf5ed3fbe84 100644 (file)
--- a/execution.cc
+++ b/execution.cc
@@ -280,6 +280,7 @@ ModelAction * ModelExecution::convertNonAtomicStore(void * location) {
        add_normal_write_to_lists(act);
        add_write_to_lists(act);
        w_modification_order(act);
+       model->get_history()->process_action(act, act->get_tid());
        return act;
 }