X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=model.cc;h=24eb83dbbc6515cb4c24730e27ee94c4c949afbe;hb=0997f5bf1b28a79066ed4abfed57f14419ee44d3;hp=7fdc824669588e216017846490751e14d69337eb;hpb=30999f20b8426081e676adfc76d1c4af7b941e8e;p=model-checker.git

diff --git a/model.cc b/model.cc
index 7fdc824..24eb83d 100644
--- a/model.cc
+++ b/model.cc
@@ -1113,7 +1113,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 */