X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=threads.cc;h=836bf2c72a7056923c4d3c09865076bb5fe9caef;hb=00a4dfc8e9c23117e8e4490be5354f7d95ad73e9;hp=39f049541d69184cc012bcd042f2400208863a3a;hpb=f297a4e3dc814290c43671fea54a85c7a1a2aeee;p=model-checker.git

diff --git a/threads.cc b/threads.cc
index 39f0495..836bf2c 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) :
+	creation(NULL),
 	pending(NULL),
 	start_routine(func),
 	arg(a),