X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=threads.cc;h=39f049541d69184cc012bcd042f2400208863a3a;hb=9ba28a8ef15225525c30c5303c859f64602820a3;hp=7fa4507ee94397e7e092730567901de94cf07a46;hpb=18813c330489a982af8d745450895b0bb4479504;p=model-checker.git

diff --git a/threads.cc b/threads.cc
index 7fa4507..39f0495 100644
--- a/threads.cc
+++ b/threads.cc
@@ -119,6 +119,7 @@ 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),