From 7433c9351b86f5724581cb30edf30c7e888b783c Mon Sep 17 00:00:00 2001 From: weiyu Date: Tue, 30 Jul 2019 15:03:03 -0700 Subject: [PATCH] bug fix --- history.cc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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(); -- 2.34.1