X-Git-Url: http://plrg.eecs.uci.edu/git/?a=blobdiff_plain;f=classlist.h;h=c7c84759ce1065687fad0c4e55bb85dcb5e0db09;hb=4ba296a6fe70c95fefa999b0dd488a95070ac6f4;hp=3aca3e11ceb086a65aef19bf2dec9caf05b90db4;hpb=54210d33af73ae7c74f2d416ab0e7bd472379e12;p=c11tester.git

diff --git a/classlist.h b/classlist.h
index 3aca3e11..c7c84759 100644
--- a/classlist.h
+++ b/classlist.h
@@ -21,6 +21,7 @@ struct model_snapshot_members;
 struct bug_message;
 typedef SnapList<ModelAction *> action_list_t;
 typedef SnapList<uint32_t> func_id_list_t;
+typedef SnapList<FuncInst *> func_inst_list_t;
 
-extern volatile int forklock;
+extern volatile int modellock;
 #endif