X-Git-Url: http://plrg.eecs.uci.edu/git/?p=c11tester.git;a=blobdiff_plain;f=funcnode.h;h=6ddcbb26d328859ddc2a8a42716ecee5ff935958;hp=f150846d5b2cbef16ceadd37dc85ca0c802c68d5;hb=a95ff96d0c30bc84c6e7757e346cd7b0b9ace03b;hpb=0c8b810bcf730dcf184c0b35eef074f89a40fac3

diff --git a/funcnode.h b/funcnode.h
index f150846d..6ddcbb26 100644
--- a/funcnode.h
+++ b/funcnode.h
@@ -30,7 +30,7 @@ public:
 
 	void add_action(ModelAction *act);
 
-	HashTable<const char *, FuncInst *, uintptr_t, 4> * getFuncInsts() { return &func_insts; }
+	HashTable<const char *, FuncInst *, uintptr_t, 4, model_malloc, model_calloc, model_free> * getFuncInsts() { return &func_insts; }
 	func_inst_list_t * get_inst_list() { return &inst_list; }
 
 	MEMALLOC
@@ -40,7 +40,7 @@ private:
 	 * To do: cds_atomic_compare_exchange contains three atomic operations
 	 * that are feeded with the same source line number by llvm pass
 	 */
-	HashTable<const char *, FuncInst *, uintptr_t, 4> func_insts;
+	HashTable<const char *, FuncInst *, uintptr_t, 4, model_malloc, model_calloc, model_free> func_insts;
 
 	func_inst_list_t inst_list;
 };