threads: construct Thread only with a given "parent"

[c11tester.git] / model.cc

diff --git a/model.cc b/model.cc
index 24eb83dbbc6515cb4c24730e27ee94c4c949afbe..436c337d3932f4d45a7d13ee0e8fe674d1a0ea9a 100644 (file)
--- a/model.cc
+++ b/model.cc
@@ -2890,7 +2890,7 @@ void ModelChecker::run()
 {
        do {
                thrd_t user_thread;
-               Thread *t = new Thread(&user_thread, &user_main_wrapper, NULL);
+               Thread *t = new Thread(&user_thread, &user_main_wrapper, NULL, NULL);
                add_thread(t);
 
                do {