| Index: src/untrusted/pthread/pthread.h
|
| diff --git a/src/untrusted/pthread/pthread.h b/src/untrusted/pthread/pthread.h
|
| index 3f751cde98881c0a4dfbc3c2d222a8dce1c58d94..bbd3df3d65390ded83b7c43f9caaf1f8bb6ec327 100644
|
| --- a/src/untrusted/pthread/pthread.h
|
| +++ b/src/untrusted/pthread/pthread.h
|
| @@ -408,7 +408,7 @@ typedef struct {
|
| */
|
| extern int pthread_create(pthread_t *thread_id,
|
| const pthread_attr_t *attr,
|
| - void *(*start_routine) (void *p),
|
| + void *(*start_routine)(void *p),
|
| void *arg);
|
|
|
| /** @nqPosix
|
|
|