X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=threads.cc;h=ba7b54730781369fd6c17ec9f4bc492d660b3843;hb=1069e1b27fc4ed06476da0a8793a55e68b8a6b86;hp=b6eaee4ea18cb511b9d4e37edc78814669e152c8;hpb=85c090982c2a8dd6e236aa8f3d0a79f974ab9603;p=model-checker.git

diff --git a/threads.cc b/threads.cc
index b6eaee4..ba7b547 100644
--- a/threads.cc
+++ b/threads.cc
@@ -70,20 +70,19 @@ void Thread::complete()
 }
 
 Thread::Thread(thrd_t *t, void (*func)(void *), void *a) :
+	start_routine(func),
+	arg(a),
+	user_thread(t),
+	state(THREAD_CREATED),
 	last_action_val(VALUE_NONE)
 {
 	int ret;
 
-	user_thread = t;
-	start_routine = func;
-	arg = a;
-
 	/* Initialize state */
 	ret = create_context();
 	if (ret)
 		printf("Error in create_context\n");
 
-	state = THREAD_CREATED;
 	id = model->get_next_id();
 	*user_thread = id;
 	parent = thread_current();