From: Brian Norris <banorris@uci.edu>
Date: Tue, 24 Apr 2012 20:03:23 +0000 (-0700)
Subject: userprog: use typedef'd thrd_start_t
X-Git-Tag: pldi2013~504
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=be5073a74591e8a9708219dac0da7217c0800ba2;p=model-checker.git

userprog: use typedef'd thrd_start_t
---

diff --git a/userprog.c b/userprog.c
index c90ad1e..4b106d8 100644
--- a/userprog.c
+++ b/userprog.c
@@ -26,8 +26,8 @@ void user_main()
 	atomic_int obj;
 
 	printf("Creating 2 threads\n");
-	thrd_create(&t1, (void (*)())&a, &obj);
-	thrd_create(&t2, (void (*)())&a, &obj);
+	thrd_create(&t1, (thrd_start_t)&a, &obj);
+	thrd_create(&t2, (thrd_start_t)&a, &obj);
 
 	thrd_join(t1);
 	thrd_join(t2);