X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=classlist.h;h=71f545128b9257156940fe4427380c78f84ea764;hb=15ea44894415d4b1150728658d65c641556e5fcf;hp=ccbbbb1418a9ca785394e41df2480f24f22a923d;hpb=3e2ec3ed4b37f4e6aa8e5e0e9e3241890948c3ac;p=c11tester.git

diff --git a/classlist.h b/classlist.h
index ccbbbb14..71f54512 100644
--- a/classlist.h
+++ b/classlist.h
@@ -22,11 +22,14 @@ 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 actionlist action_list_t;
 typedef SnapList<uint32_t> func_id_list_t;
 typedef SnapList<FuncInst *> func_inst_list_t;