libthreads: merge thread_create() and thread_start()

[model-checker.git] / libthreads.h

diff --git a/libthreads.h b/libthreads.h
index ff6d5aa975770cd1d5780e3c24ecc1a2db1ab51d..f8a86cdfb5f24e2c42c28955fcc52a8dd2351cb2 100644 (file)
--- a/libthreads.h
+++ b/libthreads.h
@@ -22,6 +22,5 @@ struct thread {
 };
 
 int thread_create(struct thread *t, void (*start_routine), void *arg);
-void thread_start(struct thread *t);
 
 #endif /* __LIBTHREADS_H__ */