37b446c0227591438d2257439c61857bce2e68fe
[model-checker.git] / threads_internal.h
1 #ifndef __THREADS_INTERNAL_H__
2 #define __THREADS_INTERNAL_H__
3
4 #include "libthreads.h"
5
6 int thread_switch_to_master();
7
8 #endif /* __THREADS_INTERNAL_H__ */