X-Git-Url: http://plrg.eecs.uci.edu/git/?p=c11tester.git;a=blobdiff_plain;f=funcnode.h;h=5773d79d846d79e09df531cf238cc5295ad7de28;hp=22d92835ca1c4b749b1f3211c19941bc0249e2b9;hb=35ebf30f42f46d47fbec1db62acc453733dfb2e1;hpb=2820ab6604b14611399c4912fa9de330ab67a3d6

diff --git a/funcnode.h b/funcnode.h
index 22d92835..5773d79d 100644
--- 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