libthreads: thread_join: return 'int' as status

[model-checker.git] / libthreads.h

diff --git a/libthreads.h b/libthreads.h
index 9d290a7ddf12162ce67fa2a20294da4e4034cfb8..1ea54ea758ea895eeac0230082645fc1da9d7ce9 100644 (file)
--- a/libthreads.h
+++ b/libthreads.h
@@ -22,7 +22,7 @@ struct thread {
 };
 
 int thread_create(struct thread *t, void (*start_routine)(), void *arg);
-void thread_join(struct thread *t);
+int thread_join(struct thread *t);
 int thread_yield(void);
 struct thread *thread_current(void);