X-Git-Url: http://plrg.eecs.uci.edu/git/?a=blobdiff_plain;f=threads.cc;h=7fa4507ee94397e7e092730567901de94cf07a46;hb=0cb05db166b91ab2820fd8c58b6903ca3a455e04;hp=a9395926816f38bc4872019a3047357574c1e2b9;hpb=889c191994ae00a058bb71e24de95842f6454c0d;p=model-checker.git

diff --git a/threads.cc b/threads.cc
index a939592..7fa4507 100644
--- a/threads.cc
+++ b/threads.cc
@@ -123,6 +123,7 @@ Thread::Thread(thrd_t *t, void (*func)(void *), void *a) :
 	arg(a),
 	user_thread(t),
 	state(THREAD_CREATED),
+	wait_list(),
 	last_action_val(VALUE_NONE)
 {
 	int ret;