Need to free memory

[c11tester.git] / funcnode.h

diff --git a/funcnode.h b/funcnode.h
index 22d92835ca1c4b749b1f3211c19941bc0249e2b9..5773d79d846d79e09df531cf238cc5295ad7de28 100644 (file)
--- a/funcnode.h
+++ b/funcnode.h
@@ -9,7 +9,6 @@
 #include "history.h"
 
 typedef ModelList<FuncInst *> func_inst_list_mt;
-typedef HashTable<FuncInst *, ModelAction *, uintptr_t, 0> inst_act_map_t;
 
 typedef enum edge_type {
        IN_EDGE, OUT_EDGE, BI_EDGE