X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=threads.cc;h=cc939318938170da4712191ab7ea7bd20e78140b;hb=b01017897db7a4000d3f6f024e0b3800d0f10790;hp=bc553b140fe4df5a1a2a3e39da7b7b1b91644403;hpb=a89a58d94e8ef32d5e446c33be020e8ce885a387;p=model-checker.git

diff --git a/threads.cc b/threads.cc
index bc553b1..cc93931 100644
--- a/threads.cc
+++ b/threads.cc
@@ -87,6 +87,7 @@ Thread::Thread(thrd_t *t, void (*func)(), void *a) {
 	state = THREAD_CREATED;
 	id = model->get_next_id();
 	*user_thread = id;
+	parent = thread_current();
 }
 
 Thread::~Thread()