From a46421375ee025acad83cf7cd612902d486987cb Mon Sep 17 00:00:00 2001
From: weiyu <weiyuluo1232@gmail.com>
Date: Tue, 20 Aug 2019 15:23:26 -0700
Subject: [PATCH] allow ModelHistory to process non-atomic actions when they
 are created

---
 execution.cc | 1 +
 1 file changed, 1 insertion(+)

diff --git a/execution.cc b/execution.cc
index d477a04a..c6962bc0 100644
--- 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;
 }
 
-- 
2.34.1