From: weiyu <weiyuluo1232@gmail.com>
Date: Tue, 30 Jul 2019 22:03:03 +0000 (-0700)
Subject: bug fix
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=c11tester.git;a=commitdiff_plain;h=7433c9351b86f5724581cb30edf30c7e888b783c;ds=sidebyside

bug fix
---

diff --git a/history.cc b/history.cc
index 820f3df3..a609fbf5 100644
--- a/history.cc
+++ b/history.cc
@@ -121,7 +121,7 @@ void ModelHistory::process_action(ModelAction *act, thread_id_t tid)
 		func_node->store_read(act, tid);
 
 	if (inst->is_write())
-		func_node->add_to_write_history(act->get_location(), act->get_write_value());
+		add_to_write_history(act->get_location(), act->get_write_value());
 
 	/* add to curr_inst_list */
 	func_inst_list_t * curr_inst_list = func_inst_lists->back();