merge

[c11tester.git] / funcnode.h

diff --git a/funcnode.h b/funcnode.h
index ebd04c7f277986f1355ea91193c0d9c9967339f9..f293f1955925de7f10d0d908848bb9ef806eba8e 100644 (file)
--- a/funcnode.h
+++ b/funcnode.h
@@ -4,6 +4,7 @@
 #include "action.h"
 #include "funcinst.h"
 #include "hashtable.h"
+#include "hashset.h"
 
 typedef ModelList<FuncInst *> func_inst_list_mt;
 typedef HashTable<void *, uint64_t, uintptr_t, 4, model_malloc, model_calloc, model_free> read_map_t;
@@ -53,7 +54,7 @@ private:
 
        /* Store the values read by atomic read actions per memory location for each thread */
        ModelVector<read_map_t *> thrd_read_map;
-       ModelList<void *> read_locations;
+
 };
 
 #endif /* __FUNCNODE_H__ */