projects
/
c11tester.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Use simple_action_list for conditionvariable waiters
[c11tester.git]
/
classlist.h
diff --git
a/classlist.h
b/classlist.h
index ccbbbb1418a9ca785394e41df2480f24f22a923d..e74ebcf64bdbb5aace60103095d47dcf09bfd395 100644
(file)
--- a/
classlist.h
+++ b/
classlist.h
@@
-22,11
+22,15
@@
class FuncInst;
class Predicate;
class ConcretePredicate;
class WaitObj;
class Predicate;
class ConcretePredicate;
class WaitObj;
+class actionlist;
+
+#include "actionlist.h"
struct model_snapshot_members;
struct bug_message;
struct model_snapshot_members;
struct bug_message;
-typedef SnapList<ModelAction *> action_list_t;
+typedef SnapList<ModelAction *> simple_action_list_t;
+typedef actionlist action_list_t;
typedef SnapList<uint32_t> func_id_list_t;
typedef SnapList<FuncInst *> func_inst_list_t;
typedef SnapList<uint32_t> func_id_list_t;
typedef SnapList<FuncInst *> func_inst_list_t;