X-Git-Url: http://plrg.eecs.uci.edu/git/?a=blobdiff_plain;ds=sidebyside;f=model.cc;h=cec59d52a5579ba651ec2f97cacd689d87da34fe;hb=dc9c89654982c64264dfee7b1ea23e9a5e88e18e;hp=ae3788945c7756881178b1657bb215cf5a71901a;hpb=ff1d424096506e2fe30b15286afb84a95cd05703;p=model-checker.git

diff --git a/model.cc b/model.cc
index ae37889..cec59d5 100644
--- a/model.cc
+++ b/model.cc
@@ -1111,7 +1111,7 @@ bool ModelChecker::process_thread_action(ModelAction *curr)
 	case THREAD_CREATE: {
 		thrd_t *thrd = (thrd_t *)curr->get_location();
 		struct thread_params *params = (struct thread_params *)curr->get_value();
-		Thread *th = new Thread(thrd, params->func, params->arg);
+		Thread *th = new Thread(thrd, params->func, params->arg, get_thread(curr));
 		add_thread(th);
 		th->set_creation(curr);
 		/* Promises can be satisfied by children */