From 8c8e990efa97568549542133e13d9f4df375dd15 Mon Sep 17 00:00:00 2001 From: Brian Norris Date: Wed, 2 May 2012 16:57:06 -0700 Subject: [PATCH] threads: don't call the userprogram interface for initial thread, just create it This will help once I start model-checking thrd_create(). --- threads.cc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/threads.cc b/threads.cc index d799144..e0cb277 100644 --- a/threads.cc +++ b/threads.cc @@ -152,7 +152,7 @@ int main() do { /* Start user program */ - thrd_create(&user_thread, &user_main, NULL); + model->add_thread(new Thread(&user_thread, &user_main, NULL)); /* Wait for all threads to complete */ thread_wait_finish(); -- 2.34.1