X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=classlist.h;h=e74ebcf64bdbb5aace60103095d47dcf09bfd395;hb=f269c2a1c390e82ae189bc690a750601f874283f;hp=71f545128b9257156940fe4427380c78f84ea764;hpb=f4c344cc8e76cd1b8271329f8827be2b4c503a6a;p=c11tester.git

diff --git a/classlist.h b/classlist.h
index 71f54512..e74ebcf6 100644
--- a/classlist.h
+++ b/classlist.h
@@ -29,6 +29,7 @@ class actionlist;
 struct model_snapshot_members;
 struct bug_message;
 
+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;