X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=libthreads.h;h=0c02971342d06ffa903feb01b2d4daadc08754d4;hb=9c42c31b487bf7319dba4d43e417e29420306977;hp=a899881c3ee5185c94d3ad115ed90329e777699e;hpb=cca49f0c63efac9a730d9f26b9b90fabdd881337;p=model-checker.git

diff --git a/libthreads.h b/libthreads.h
index a899881..0c02971 100644
--- a/libthreads.h
+++ b/libthreads.h
@@ -1,3 +1,7 @@
+/** @file libthreads.h
+ *  @brief Basic Thread Library Functionality.
+ */
+
 #ifndef __LIBTHREADS_H__
 #define __LIBTHREADS_H__
 
@@ -5,7 +9,7 @@
 extern "C" {
 #endif
 
-	typedef void (*thrd_start_t)();
+	typedef void (*thrd_start_t)(void *);
 
 	typedef int thrd_t;