X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=classlist.h;h=e74ebcf64bdbb5aace60103095d47dcf09bfd395;hb=HEAD;hp=ccbbbb1418a9ca785394e41df2480f24f22a923d;hpb=f297c53cff32b9ad0712a75791b356ddba44e5c8;p=c11tester.git

diff --git a/classlist.h b/classlist.h
index ccbbbb14..e74ebcf6 100644
--- a/classlist.h
+++ b/classlist.h
@@ -22,11 +22,15 @@ class FuncInst;
 class Predicate;
 class ConcretePredicate;
 class WaitObj;
+class actionlist;
+
+#include "actionlist.h"
 
 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;