From: weiyu <weiyuluo1232@gmail.com>
Date: Fri, 31 Jan 2020 19:56:12 +0000 (-0800)
Subject: Fix typo
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=c11tester.git;a=commitdiff_plain;h=dad0ccf535e5479ec5663e4665528e901a99843a

Fix typo
---

diff --git a/funcnode.cc b/funcnode.cc
index 691b2f69..9f972f00 100644
--- a/funcnode.cc
+++ b/funcnode.cc
@@ -191,7 +191,7 @@ void FuncNode::update_tree(action_list_t * act_list)
 		if (act->get_original_type() != ATOMIC_NOP && act->get_swap_flag() == false)
 			act->use_original_type();
 
-		act->decr_read_ref_count();
+		act->decr_func_ref_count();
 
 		if (act->is_read()) {
 			// For every read or rmw actions in this list, the reads_from was marked, and not deleted.
@@ -200,7 +200,7 @@ void FuncNode::update_tree(action_list_t * act_list)
 			if (rf->get_original_type() != ATOMIC_NOP && rf->get_swap_flag() == false)
 				rf->use_original_type();
 
-			rf->decr_read_ref_count();
+			rf->decr_func_ref_count();
 		}
 
 		FuncInst * func_inst = get_inst(act);
@@ -291,7 +291,7 @@ void FuncNode::update_tree(action_list_t * act_list)
 	while (it->hasNext()) {
 		ModelAction * act = it->next();
 
-		if (act->is_free() && act->get_read_ref_count() == 0)
+		if (act->is_free() && act->get_func_ref_count() == 0)
 			delete act;
 	}
 	delete it;
diff --git a/history.cc b/history.cc
index 3fe570b2..90951ab7 100644
--- a/history.cc
+++ b/history.cc
@@ -184,10 +184,10 @@ void ModelHistory::process_action(ModelAction *act, thread_id_t tid)
 	curr_act_list->push_back(act);
 
 	// Increment ref count for every action and reads_froms
-	act->incr_read_ref_count();
+	act->incr_func_ref_count();
 	if (act->is_read()) {
 		ModelAction * rf = act->get_reads_from();
-		rf->incr_read_ref_count();
+		rf->incr_func_ref_count();
 	}
 
 	FuncNode * func_node = func_nodes[func_id];