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

diff --git a/threads.cc b/threads.cc
index a939592..39f0495 100644
--- a/threads.cc
+++ b/threads.cc
@@ -119,10 +119,12 @@ void Thread::complete()
  * @param a The parameter to pass to this function.
  */
 Thread::Thread(thrd_t *t, void (*func)(void *), void *a) :
+	pending(NULL),
 	start_routine(func),
 	arg(a),
 	user_thread(t),
 	state(THREAD_CREATED),
+	wait_list(),
 	last_action_val(VALUE_NONE)
 {
 	int ret;