X-Git-Url: http://plrg.eecs.uci.edu/git/?p=c11tester.git;a=blobdiff_plain;f=funcnode.cc;h=b28fbd5bb5c8b925af9cc0573be8cecec1cd16b6;hp=5333bce757eb2f863930e6ad03687c95fd175a21;hb=c0c4fcf47d8209da26e686b308d8c20ffc8220d3;hpb=bf2121ac2a964022f09c30ebb904bef7ceb2df8d

diff --git a/funcnode.cc b/funcnode.cc
index 5333bce7..b28fbd5b 100644
--- a/funcnode.cc
+++ b/funcnode.cc
@@ -139,7 +139,7 @@ void FuncNode::update_tree(action_list_t * act_list)
 	if (act_list == NULL || act_list->size() == 0)
 		return;
 
-	HashTable<void *, value_set_t *, uintptr_t, 4> * write_history = history->getWriteHistory();
+	HashTable<void *, value_set_t *, uintptr_t, 0> * write_history = history->getWriteHistory();
 
 	/* build inst_list from act_list for later processing */
 	func_inst_list_t inst_list;