bug fix

[c11tester.git] / history.cc

diff --git a/history.cc b/history.cc
index 820f3df38b48fe3960bcb60839da17f2ca1505a5..a609fbf5c3d30a9c70692266e1f5a9fb8576a895 100644 (file)
--- 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();