X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=threads.cc;h=e0cb277563bb057c989be29379866ac8f090094b;hb=8c8e990efa97568549542133e13d9f4df375dd15;hp=d799144f67e1df86dcaacaa217da2f3f799b5cdd;hpb=f60dc971069e7d4ceade8a1be52b4d42b69828df;p=model-checker.git

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();