From 8c8e990efa97568549542133e13d9f4df375dd15 Mon Sep 17 00:00:00 2001
From: Brian Norris <banorris@uci.edu>
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