X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=userprog.c;h=4b106d88c11e8f0829008b5d7c47dd626e093c05;hb=be5073a74591e8a9708219dac0da7217c0800ba2;hp=c90ad1e8151c7fcb7945bb9e49cde67303e05a23;hpb=05f661a5bfcea97f66c03accda5411590de31458;p=model-checker.git

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