| Index: src/untrusted/pthread/pthread_types.h
|
| diff --git a/src/untrusted/pthread/pthread_types.h b/src/untrusted/pthread/pthread_types.h
|
| index 11914b12891fb34b9e1dc79237dfb4a8ec702ca6..5b0eb5765c0446c586e1f32dcec9dfa6aee85edd 100644
|
| --- a/src/untrusted/pthread/pthread_types.h
|
| +++ b/src/untrusted/pthread/pthread_types.h
|
| @@ -61,7 +61,7 @@ typedef struct {
|
| nc_thread_memory_block_t *stack_node;
|
| nc_thread_memory_block_t *tls_node;
|
| nc_thread_function start_func;
|
| - void* state;
|
| + void *state;
|
| /*
|
| * irt_thread_data is used when libpthread is linked into the IRT.
|
| * It is used for free()ing the thread block.
|
|
|