cyclegraph: template-ize addRMWEdge()
[c11tester.git] / threads.cc
index d170b7ada3554da89213ab6219fff15c11ed0019..6adc053ae2dbfc58a00bbbb2f0e6a7c2e79a7b4c 100644 (file)
@@ -161,7 +161,7 @@ Thread::Thread(thrd_t *t, void (*func)(void *), void *a) :
                model_print("Error in create_context\n");
 
        id = model->get_next_id();
-       *user_thread = id;
+       user_thread->priv = this;
        parent = thread_current();
 }